Lewis Carroll Logic Problems

The original problem has 25 premisses and 27 attributes

Number	Premiss
1	Fortunate men, who are lawyers' clerks, are always hungry;
2	All the basket-makers are out of work;
3	A man without self-restraint is helped five times to plum-pudding;
4	No one but Whittington ever heard bells speak ;
5	A poor man, who has self-restraint, never wears slíppers ;
6	No lean and slippered pantaloon is respected;
7	A man, who is helped five times to plum-pudding, is a glutton ;
8	Those who complain always get listened to;
9	A rich man, who has never heard bells speak, is always lean;
10	None but lawyers' clerks have self-restraint ;
11	A pantomime actor, who wears slippers, is a pantaloon ;
12	A man, who talks without cessation when any one will listen to him, is a bore;
13	The famous Whittington was elected Lord Mayor;
14	All lean persons, who are self-restrained, act in pantomimes;
15	Those who never complain get underpaid;
16	Egoists are intolerable;
17	Any one, who has heard bells speak, is fortunate;
18	No hungry lawyer's clerk was ever elected Lord Mayor;
19	All letter-carriers, who do not live in this village, complain if under-paid ;
20	Any one, who is listened to, will talk without cessation;
21	Pantaloons, employed in pantomimes, are respected if rich;
22	All, who have not heard bells speak, are egoists;
23	A bore is endurable, provided he does not wear slippers;
24	Hungry men, who have failed to become famous, never complain;
25	The people in this village are all basket-makers.

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

Attribute symbol	Attribute
A	pantomimists
B	respected
C	rich
D	self-restraining
E	slippered
F	talking without cessation
G	tolerable
H	underpaid
J	Whittington.
a	basket-makers
b	bores
c	complaining
d	egoists
e	famous
h	fat
k	fortunate
l	gluttons
m	having heard bells speak
n	helped five times to plum-pudding
r	hungry
s	in this village
t	lawyers' clerks
u	letter-carriers
v	listened to
w	Lord Mayor
x	out of work
z	pantaloons

So the symbolic form of the premisses is as follows:

Premiss. There are no men that are	Symbolic form of premiss
1. fortunate, lawyers' clerks, not hungry,	ktr'
2. basket-makers, not out of work,	ax'
3. not self-restraining, not helped five times to plum-pudding,	D'n'
4. having heard bells speak, not Whittington. ,	mJ'
5. self-restraining, not rich, slippered ,	C'DE
6. slippered , not fat, pantaloons, respected,	h'EzB
7. helped five times to plum-pudding, not gluttons,	nl'
8. complaining, not listened to,	cv'
9. not having heard bells speak, rich, fat,	Cm'h
10. not lawyers' clerks, self-restraining,	Dt'
11. slippered , not pantaloons, pantomimists,	AEz'
12. listened to, talking without cessation, not bores,	Fvb'
13. Whittington. , not Lord Mayor,	Jw'
14. self-restraining, not fat, not pantomimists,	h'DA'
15. not complaining, not underpaid,	c'H'
16. egoists, tolerable,	dG
17. not fortunate, having heard bells speak,	mk'
18. lawyers' clerks, hungry, Lord Mayor,	rtw
19. not complaining, underpaid, letter-carriers, not in this village,	us'Hc'
20. listened to, not talking without cessation,	vF'
21. rich, pantaloons, not respected, pantomimists,	zACB'
22. not having heard bells speak, not egoists,	m'd'
23. slippered , bores, tolerable,	bEG
24. hungry, complaining, not famous,	re'c
25. not basket-makers, in this village,	sa'

The registry is:

and the barred premises are as follows:

Solution to be tested is x'El'Gue'

This document was last updated 7 September 2020