Lewis Carroll Logic Problems

The original problem has 43 premisses and 45 attributes

Number	Premiss
1	A man, who is neither a speculator nor bad to lend money to, is no curmudgeon;
2	All my friends, who are members of this Club, are would-be celebrities
3	A wise man demands a receipt when he pays a bill;
4	No handsome man, outside this town, is sure to be well spoken of;
5	No dancing-master is sought after, if very fat;
6	No passionate man is popular, unless he is generous;
7	A foolish speculator is on the road to ruin;
8	A generous man gets testimonials, if he blows his own trumpet;
9	All wise enthusiasts are poetical;
10	A man, who dresses in sheepskins and lives on whale-blubber is an Arctic voyager;
11	A generous man, who is not a dandy, retails other people's jokes;
12	A passionate man, who is not above taking advice, is sure to be well spoken of;
13	An ugly man, who gets on badly, is not an eligible suitor;
14	All foolish dandies are old;
15	All British merchants are economical;
16	A man, who has not dreamy eyes, is despised by ladies, unless he is intimate with the Royal Family;
17	A man, who blows his own trumpet, gets noticed by Society;
18	All wise noblemen are rich;
19	A man does not demand receipts when he pays bills, unless he is getting on badly;
20	All the firemen in this town are ugly;
21	All men, who are neither curmudgeons, nor would-be celebrities, are members of this Club;
22	A man, who is noticed by Society and gets testimonials, is no fool;
23	No economical man is bad to lend money to, unless he lives on whale-blubber ;
24	No influential man is sought after, unless he is a dancing-master;
25	Commoners, who are intimate with the Royal Family, are eligible suitors;
26	All wise dreamy-eyed men are fond of barley-sugar ;
27	A man without enthusiasm loves walking by moonlight;
28	A passionate overbearing man is influential if he is generous;
29	Arctic voyagers, who dress in sheepskin, are wise;
30	An overbearing man, who is not a merchant, is above taking advice;
31	All would-be celebrities, who retail other people's jokes, blow their own trumpets;
32	All the wise men in this town are firemen;
33	A man, who is despised by ladies, is sought after, provided he loves walking by moonlight;
34	Old dandies retail other people's jokes;
35	All foreign merchants are wise;
36	All foolish members of the Club are friends of mine;
37	No overbearing man has influence, if he is above taking advice;
38	A speculator, who is on the road to ruin, is a bad person to lend money to;
39	Men with dreamy eyes, who are fond of barley-sugar, are despised by ladies;
40	All wise dancing-masters are very fat;
41	Rich noblemen are eligible suitors;
42	All men, who live on whale-blubber and are not above taking advice dress in sheep-skins;
43	All poetical enthusiasts love walking by moonlight;

The universe of discourse is men . We will use the following dictionary:

Attribute symbol	Attribute
A	getting testimonials
B	handsome
C	having dreamy eyes
D	influential
E	intimate with the Royal Family
F	in this town
G	living on whale-blubber
H	loving to walk by moonlight
J	members of this Club
K	wise
L	merchants
M	my friends
N	noblemen
P	noticed by Society
Q	old
R	on the road to ruin
S	would¬be celebrities
T	overbearing
V	passionate
W	poetical
X	popular
Y	retailing other people's jokes
a	above taking advice
b	Arctic voyagers
c	bad to lend money to
d	blowing one's own trumpet
e	British
f	rich
g	sought after
h	curmudgeons
j	speculators
k	dancing-masters
l	dandies
m	demanding a receipt when paying a bill
n	despised by ladies
p	sure to be well spoken of
q	very fat
r	dressed in sheepskins
s	economical
t	eligible suitors
u	enthusiastic
v	firemen
w	fond of barley-sugar
x	generous
z	getting on badly

So the symbolic form of the premisses is as follows:

Premiss. There are no men that are	Symbolic form of premiss
1. not speculators , not bad to lend money to, curmudgeons,	j'c'h
2. my friends, members of this Club, not would¬be celebrities,	MJS'
3. wise, not demanding a receipt when paying a bill,	Km'
4. handsome, not in this town, not sure to be well spoken of,	BF'p'
5. dancing-masters, very fat, sought after,	kqg
6. passionate, popular, not generous,	VXx'
7. speculators , not wise, not on the road to ruin,	K'jR'
8. generous, blowing one's own trumpet, not getting testimonials,	xdA'
9. wise, enthusiastic, not poetical,	KuW'
10. dressed in sheepskins, living on whale-blubber , not Arctic voyagers,	rGb'
11. generous, not dandies, not retailing other people's jokes,	xl'Y'
12. not sure to be well spoken of, passionate, not above taking advice,	Va'p'
13. not handsome, getting on badly, eligible suitors,	B'zt
14. not wise, dandies, not old,	lK'Q'
15. British, merchants, not economical,	eLs'
16. not having dreamy eyes, not intimate with the Royal Family, not despised by ladies,	C'E'n'
17. blowing one's own trumpet, not noticed by Society,	dP'
18. wise, noblemen, not rich,	KNf'
19. not demanding a receipt when paying a bill, not getting on badly,	m'z'
20. handsome, in this town, firemen,	vFB
21. not curmudgeons, not members of this Club, not would¬be celebrities,	h'S'J'
22. not wise, getting testimonials, noticed by Society,	PAK'
23. bad to lend money to, not living on whale-blubber , economical,	scG'
24. not dancing-masters, sought after, influential,	Dgk'
25. not eligible suitors, intimate with the Royal Family, not noblemen,	N'Et'
26. wise, having dreamy eyes, not fond of barley-sugar ,	KCw'
27. not enthusiastic, not loving to walk by moonlight,	u'H'
28. passionate, generous, not influential, overbearing,	VTxD'
29. not wise, dressed in sheepskins, Arctic voyagers,	brK'
30. not above taking advice, not merchants, overbearing,	TL'a'
31. would¬be celebrities, not blowing one's own trumpet, retailing other people's jokes,	SYd'
32. wise, not firemen,	Kv'
33. not sought after, despised by ladies, loving to walk by moonlight,	nHg'
34. dandies, not retailing other people's jokes, old,	lQY'
35. not wise, not British, merchants,	e'LK'
36. not my friends, members of this Club, not wise,	K'JM'
37. above taking advice, influential, overbearing,	TaD
38. speculators , not bad to lend money to, on the road to ruin,	jRc'
39. having dreamy eyes, not despised by ladies, fond of barley-sugar ,	Cwn'
40. wise, dancing-masters, not very fat,	Kkq'
41. not eligible suitors, noblemen, rich,	fNt'
42. not dressed in sheepskins, living on whale-blubber , not above taking advice,	Ga'r'
43. enthusiastic, poetical, not loving to walk by moonlight,	WuH'

The registry is:

Entity	Appears in	Complement appears in
A	22	8
B	4 20	13
C	26 39	16
D	24 37	28
E	25	16
F	20	4
G	10 42	23
H	33	27 43
J	2 36	21
K	3 9 18 26 32 40	7 14 22 29 35 36
L	15 35	30
M	2	36
N	18 41	25
P	22	17
Q	34	14
R	38	7
S	31	2 21
T	28 30 37
V	6 12 28
W	43	9
X	6
Y	31	11 34
a	37	12 30 42
b	29	10
c	23	1 38
d	8 17	31
e	15	35
f	41	18
g	5 24	33
h	1	21
j	7 38	1
k	5 40	24
l	14 34	11
m		3 19
n	33	16 39
p		4 12
q	5	40
r	10 29	42
s	23	15
t	13	25 41
u	9 43	27
v	20	32
w	39	26
x	8 11 28	6
z	13	19

and the barred premises are as follows:

1	barred by	7 38
6	barred by	8 11 28
11	barred by	14 34
13	barred by	4 20 25 41
16	barred by	26 39
21	barred by	2 36
23	barred by	10 42 1 38
24	barred by	5 40
25	barred by	18 41
27	barred by	9 43
28	barred by	24 37
30	barred by	15 35
31	barred by	2 21 8 17
33	barred by	27 43 5 24
37	barred by	12 30 42
42	barred by	10 29

Solution to be tested is m'p'VXT

This document was last updated 7 September 2020

Index of Logic Problems