Lewis Carroll Logic Problems - PE34
The original problem has 11 premisses and 15 attributes
NumberPremiss
1No pitiless swindlers deserve help;
2No one, who is sought after for a noble purpose, can be worthless;
3No undetected conspirators are otherwise than dangerous;
4No pitiful man is heartless;
5Useless persons have no value;
6There are no dangerous people in this town, except my friends;
7No unreformed person is a desirable acquaintance;
8No detected swindlers are otherwise than contemptible;
9Those who are reformed deserve help;
10No useful person is contemptible;
11All my friends are heartless.
The universe of discourse is persons . We will use the following dictionary:
Attribute symbolAttribute
aconspirators
bcontemptible
cdangerous
ddeserving help
edesirable acquaintances
hdetected
kheartless
lin this town
mmy friends
npitiful
rreformed
ssought after for a noble purpose
tswindlers
vuseful
wworthless
So the symbolic form of the premisses is as follows:
Premiss. There are no persons that areSymbolic form of premiss
1. heartless, swindlers, deserving help, ktd
2. sought after for a noble purpose, worthless, sw
3. not detected, conspirators, not dangerous, h'ac'
4. heartless, pitiful, nk
5. not worthless, not useful, v'w'
6. dangerous, not in this town, my friends, l'mc
7. not reformed, desirable acquaintances, r'e
8. swindlers, detected, not contemptible, htb'
9. not deserving help, reformed, rd'
10. useful, contemptible, vb
11. not heartless, my friends, mk'
The registry is:
EntityAppears inComplement appears in
a3
b10 8
c6 3
d1 9
e7
h8 3
k1 4 11
l6
m6 11
n4
r9 7
s2
t1 8
v10 5
w2 5
and the barred premises are as follows:
11 barred by1 4
Solution to be tested is tsanl'me

This document was last updated 7 September 2020

Index of Logic Problems

© 2020 Graham G Hawker Privacy Policy