Introduction to Logic Tools for Thought   Lecture Slides Lecture 1 - Introduction Lecture 2 - Propositional Logic Lecture 3 - Propositional Analysis Lecture 4 - Direct Proofs Lecture 5 - Natural Deduction Lecture 6 - Refutation Proofs 2022 Review 1 - Propositional Logic 2023 Review 1 - Propositional Logic   Lecture 7 - Relational Logic Lecture 8 - Relational Analysis Lecture 9 - Fitch Proofs 2023 Review 2 - Relational Logic   Lecture 11 - Functional Logic Lecture 12 - Induction Lecture 13 - Equality Lecture 14 - Open Worlds Review 3 - Functional Logic   Summary and Next Steps