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.
Reading:
[ Home
| Schedule
| Assignments
| Handouts
| Software
]
fp@cs
Frank Pfenning
|