15-317 Constructive Logic
Recitation 1: Clue

We used a little logic problem based on the game Clue to explore some basic concepts: translating logical statements from natural language into mathematical notation, and proving theorems using rules of inference. To illustrate a difference between constructive and classical proofs, we also looked at a proof of the following statement: there exist irrational numbers a and b such that ab is rational.


[ Home | Schedule | Assignments | Handouts | Software ]

Frank Pfenning