Discrete Structures

Translating Lewis Carroll into First-Order Logic

Part II

Last Update: 1 February 2009

Note: NEW or UPDATED material is highlighted

Here is an answer to the translation example inspired by a puzzle by Lewis Carroll:

Here is the syntax and semantics of the representation in FOPL:

Here, finally, is a translation of the above logical argument (or "syllogism"):

Note, by the way, that FOPL is not needed for this example. It could be represented in propositional logic.

For more information on this puzzle, look at "Lewis Carroll Puzzles".

For more information on Lewis Carroll as a logician, look at Lewis Carroll, Logician

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