1. Arguments and Validity
2. Showing non-consequence
3. Circuit Diagrams
4. Boolean Goggles
5. Using your crystal ball
6. Working backwards
7. Un-T Elim
8. Wff or not wff?
9. FO Goggles
10. Satisfaction tables
11. Semantics of FOL
12. Gödel’s first incompleteness theorem
You must be logged in to post a comment.