Lewis Carroll Logic Problems

The original problem has 12 premisses and 14 attributes

Number	Premiss
1	All active old Jews are healthy;
2	All indolent magistrates are unpopular;
3	All rich snuff-takers are unhealthy;
4	All sarcastic magistrates are Jews;
5	All young snuff-takers are pale;
6	All rich, old men, who are unhealthy, are sarcastic;
7	All magistrates, who are not poets, are studious;
8	All rosy magistrates are talented men;
9	All talented and popular students are rich;
10	All pale snuff-takers are unpopular;
11	All unpopular magistrates abstain from snuff;
12	All talented poets, who are active, are rich.

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. active, old, Jews, not healthy,	ahcb'
2. not active, magistrates, popular,	a'dl
3. healthy, rich, snuff-takers,	mbs
4. not Jews, magistrates, sarcastic,	rdc'
5. not old, snuff-takers, rosy,	h'sn
6. old, not healthy, rich, not sarcastic, men,	mb'her'
7. magistrates, not poets, not studious,	dk't'
8. magistrates, rosy, not talented,	ndv'
9. popular, not rich, studious, talented,	vltm'
10. popular, snuff-takers, not rosy,	n'sl
11. magistrates, not popular, snuff-takers,	l'ds
12. active, not rich, poets, talented,	vakm'

The registry is:

and the barred premises are as follows:

Solution to be tested is dse

This document was last updated 7 September 2020