Discrete Structures

Translating Lewis Carroll into First-Order Logic

Part I

Last Update: 1 February 2009

Note: NEW or UPDATED material is highlighted

Here is a translation example inspired by a puzzle by Lewis Carroll, author of Alice in Wonderland:

First, here is the syntax and semantics of the representation in FOPL (first-order predicate logic):

Now, here is a translation of the above logical argument (or "syllogism"):

... before I show you, you might want to try it for yourself, so I'll put the answers in the next document!

Copyright © 2009 by William J. Rapaport (rapaport@cse.buffalo.edu)