Lewis Carroll Logic Problems

The original problem has 11 premisses and 14 attributes

Number	Premiss
1	All prize-fighters are active
2	Burglars, when taken up, are sent to prison
3	All old Jews are poor
4	No prize-fighter, who is admired, is unpopular
5	Paupers, when sent to prison, cease to be violent
6	Ugly old people get taken up
7	No one, who is awkward and violent, can be anything but a burglar
8	No young detectives are ugly
9	An active Gentile is always admired
10	No awkward prize-fighter is beautiful
11	No violent detective is popular

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

So the symbolic form of the premisses is as follows:

Premiss. There are no men that are	Symbolic form of premiss
1. not active, prize-fighters,	a'r
2. burglars, taken up, not sent to prison,	ets'
3. Jews, old, not poor,	klm'
4. prize-fighters, admired, not popular,	rbn'
5. sent to prison, poor, violent,	msu
6. not taken up, old, not beautiful,	d'lt'
7. not burglars, violent, awkward,	cue'
8. not old, not beautiful, detectives,	l'hd'
9. active, not Jews, not admired,	ak'b'
10. prize-fighters, beautiful, awkward,	crd
11. popular, violent, detectives,	uhn

The registry is:

and the barred premises are as follows:

8	barred by	3 6
10	barred by	6 8

Solution to be tested is ruch

This document was last updated 7 September 2020