Raymond Smullyan
The Mathematics of Various Entertaining Subjects,
12/2015
Book Chapter
Recreational mathematics can provide a most pleasant introduction to deep results in mathematics and logic to the general public. For example, take the field known aspropositional logic, which deals with the way simple propositions are combined to form more complex propositions, using the connectivesnot, and, or(where “or” should be taken in the sense of “at least one,”)if-then, andif and only if. I have found that a most useful way of approaching this subject is by the logic oflyingandtruth-telling, which people can relate to quite easily. And so let us turn to a
