Lewis Carroll Logic Problems

The original problem has 12 premisses and 13 attributes

Number	Premiss
1	All inactive babies get fat
2	Civilians are liable to toothache
3	Those, who are always contented and happy are well fed
4	A fat glutton is always happy
5	Active soldiers have plenty of common sense
6	No English alderman is badly fed
7	Babies, except those in my family, are not always happy
8	A glutton, if he has common sense, never goes into the army
9	Well-fed people are liable to toothache, unless they are active
10	All fat members of my family are aldermen
11	Discontented foreigners are sometimes unhappy
12	The only gluttons without any common sense are babies

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

So the symbolic form of the premisses is as follows:

Premiss. There are no persons that are	Symbolic form of premiss
1. not active, babies, not fat,	a'ek'
2. not soldiers, not liable to toothache,	s'n'
3. always contented, always happy, not well-fed,	cdt'
4. fat, not always happy, gluttons,	kld'
5. active, soldiers, not sensible,	asr'
6. not well-fed, English, aldermen,	hbt'
7. babies, always happy, not in my family,	em'd
8. soldiers, gluttons, sensible,	lrs
9. not active, not liable to toothache, well-fed,	ta'n'
10. fat, not aldermen, in my family,	kmb'
11. not always contented, always happy, not English,	c'h'd
12. not babies, gluttons, not sensible,	lr'e'

The registry is:

and the barred premises are as follows:

Solution to be tested is n'l

This document was last updated 7 September 2020