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?
- All the policemen on this beat eat dinner with our cook;
- No man with long hair can fail to be a poet;
- Amos Judd has never been in prison;
- Our cook’s ‘cousins’ all love cold mutton;
- None but policemen on this beat are poets;
- None but her ‘cousins’ ever eat dinner with our cook;
- Men with short hair have all been in prison.
Therefore, Amos Judd loves cold mutton!