The original problem has 11 premisses and 14 attributes
| Number | Premiss |
|---|
| 1 | No old men are active |
| 2 | All who hunt tigers are brave |
| 3 | No husbands are really free men |
| 4 | An old man is always selfish |
| 5 | No miser is sane |
| 6 | All savage fat men like fighting |
| 7 | All old tiger-hunters are egoists |
| 8 | No brave soldiers are slaves |
| 9 | All inactive lunatics are fat |
| 10 | No selfish egoist likes fighting |
| 11 | Fat civilians are always savage |
The universe of discourse is men
. We will use the following dictionary:
| Attribute symbol | Attribute |
|---|
| a | active |
| b | brave |
| c | egoists |
| d | fat |
| e | husbands |
| h | liking to fight |
| k | lunatics |
| l | misers |
| m | old |
| n | savage |
| r | selfish |
| s | slaves |
| t | soldiers |
| v | tiger-hunters |
So the symbolic form of the premisses is as follows:
| Premiss. There are no men
that are | Symbolic form of premiss |
|---|
| 1. active, old, | am |
| 2. tiger-hunters, not brave, | vb' |
| 3. husbands, not slaves, | es' |
| 4. old, not selfish, | mr' |
| 5. misers, not lunatics, | lk' |
| 6. savage, fat, not liking to fight, | ndh' |
| 7. old, tiger-hunters, not egoists, | mvc' |
| 8. brave, slaves, soldiers, | bts |
| 9. not active, lunatics, not fat, | a'kd' |
| 10. selfish, liking to fight, egoists, | rch |
| 11. not savage, fat, not soldiers, | dt'n' |
The registry is:
| Entity | Appears in | Complement appears in |
|---|
| a | 1 | 9 |
| b | 8 | 2 |
| c | 10 | 7 |
| d | 6 11 | 9 |
| e | 3 | |
| h | 10 | 6 |
| k | 9 | 5 |
| l | 5 | |
| m | 1 4 7 | |
| n | 6 | 11 |
| r | 10 | 4 |
| s | 8 | 3 |
| t | 8 | 11 |
| v | 2 7 | |
and the barred premises are as follows:
Solution to be tested is mvel
This document was last updated 7 September 2020
Index of Logic Problems