Symbolic Logic
Final Exam Review 

This is an overview of material we have covered since the third exam. Since the final is cumulative, you should also be familiar with the material on the three previous reviews. The final will be approximately twice as long as the in-class exams.

Some of the important concepts are discussed in the pages on equivalent systems of propositional logic, nonclassical logics, and Gödel's (first) incompleteness theorem.

1. Basic concepts

2. Translations

3. Proofs

Last update: December 5, 2016. 
Curtis Brown | Symbolic Logic | Philosophy Department | Trinity University