The Game of Logic

by Lewis Carroll

Let "persons" be Universe; m="patient";
x="children"; y="that can sit still".

No x are m; &there4 No x are y.
No m' are y.

i.e. No children can sit still.

---------------
| 0 | 0 |
| ---|--- |
| | 0 | 1 | |
16. |---|---|---|---| -------
| | 0 | | | | 0 | 1 |
| ---|--- | |---|---|
| | | | | |
--------------- -------

Let "things" be Universe; m="fat"; x="pigs";
y="skeletons".

All x are m; &there4 All x are y'.
No y are m.

i.e. All pigs are not-skeletons.

---------------
| | |
| ---|--- |
| | 0 | 0 | |
17. |---|---|---|---| -------
| | 1 | 0 | | | | |
| ---|--- | |---|---|
| | | | 1 | |
--------------- -------

Let "creatures" be Universe; m="monkeys";
x="soldiers"; y="mischievous".

No m are x; &there4 Some y are x'.
All m are y.