Symbolic Logic by Lewis Carroll

I have just finished reading Lewis Carroll’s “Symbolic Logic” on my new iPhone during the dark morning commutes to university, and just love one of his final example problems:

What is the inescapable logical complete conclusion given the following premises?

  1. All the policemen on this beat eat dinner with our cook;
  2. No man with long hair can fail to be a poet;
  3. Amos Judd has never been in prison;
  4. Our cook’s ‘cousins’ all love cold mutton;
  5. None but policemen on this beat are poets;
  6. None but her ‘cousins’ ever eat dinner with our cook;
  7. Men with short hair have all been in prison.


Therefore, Amos Judd loves cold mutton!

Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s