Lewis Carroll Logic Problems

The original problem has 23 premisses and 26 attributes

Number	Premiss
1	I take snuff
2	No uncourteous snuff-taker is popular
3	Publicans, who drink toast-and-water, are wise
4	Those who read Tupper go to bed early
5	A realIy humble man, who is a bad violinist, is unhappy
6	All who do not go to plays are readers of Tupper
7	Old people, who cannot easily be excited, never get front seats
8	My brothers think that pigs can fly
9	A man, who goes to bed earIy, and lies there till noon, is an utter villain
10	Unhappy men always drink toast-and-water
11	The only contented man in the worId is myself
12	No wise man thinks that pigs can fly
13	No one is an utter villain, if he reads Tupper
14	Snuff-takers, who have a right to sneeze, should be forebearing
15	An inattentive play-goer is difficult to excite
16	No man, who does not think that pigs can fly, need be forbearing
17	No conceited man is happy
18	Poor oId saddlers have a right to sneeze
19	No toast-and-water drinker reads Tupper, unless he lies in bed till noon
20	Saddlers are never good vioIinists
21	None but publicans think that pigs can fly
22	Play-goers, who do not get front seats, have no right to sneeze
23	All courteous men, except my brothers, are inattentive

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

Attribute symbol	Attribute
A	old
B	play-goers
C	popular
D	publicans
E	readers of Tupper
F	rich
G	saddlers
H	snuff-takers
J	utter villains
L	wise
a	attentive
b	conceited
c	contented
d	courteous
e	drinking toast-and-water
h	excitable
k	getting front seats
l	going to bed early
m	good violinists
n	happy
r	having right to sneeze
s	I
t	lying in bed till noon
v	men who should be forebearing
w	men who think that pigs can fly
z	my brothers

So the symbolic form of the premisses is as follows:

Premiss. There are no men that are	Symbolic form of premiss
1. I, not snuff-takers,	sH'
2. snuff-takers, not courteous, popular,	d'HC
3. publicans, drinking toast-and-water, not wise,	DeL'
4. readers of Tupper, not going to bed early,	El'
5. not conceited, not good violinists, happy,	b'm'n
6. not readers of Tupper, not play-goers,	B'E'
7. old, not excitable, getting front seats,	Ah'k
8. my brothers, not men who think that pigs can fly,	zw'
9. going to bed early, lying in bed till noon, not utter villains,	ltJ'
10. not drinking toast-and-water, not happy,	n'e'
11. not I, contented,	cs'
12. wise, men who think that pigs can fly,	Lw
13. readers of Tupper, utter villains,	JE
14. snuff-takers, having right to sneeze, not men who should be forebearing,	Hrv'
15. play-goers, excitable, not attentive,	a'Bh
16. not men who think that pigs can fly, men who should be forebearing,	w'v
17. conceited, happy,	bn
18. old, not having right to sneeze, not rich, saddlers,	F'AGr'
19. drinking toast-and-water, readers of Tupper, not lying in bed till noon,	eEt'
20. good violinists, saddlers,	Gm
21. not publicans, men who think that pigs can fly,	wD'
22. play-goers, not getting front seats, having right to sneeze,	Bk'r
23. courteous, not my brothers, attentive,	dz'a

The registry is:

and the barred premises are as follows:

Solution to be tested is CAcF'G

This document was last updated 7 September 2020