Last Time | Next Time |
Fri | 4/9 | More on The Logic Game |
|
Examples (from p. 175, Lewis Carroll in Numberland)
(Alternatively, show that Aristotle is mortal, if Aristotle is a man, and all men are mortal: use Aristotle, Mortal, Man -- x, y, m)