15317 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
a^{b} is rational.
Reading:
[ Home
 Schedule
 Assignments
 Handouts
 Software
]
fp@cs
Frank Pfenning
