15-399, 80-317/617
Constructive Logic
Lecture 5: Classical Semantics

We review the use of truth tables for evaluating semantic validity of formulas and sequents. Soundness of the system of proofs is proved by structural induction, and the consistency of proof is inferred as a corollary. A method is also given for demonstrating that a formula is not provable.

[ Home | Schedule | Assignments | Handouts | Software | Overview ]