Logic 4: Natural Deduction with Logical Axioms — Tutorial 4/4

In this four-part series we explore propositional logic, Karnaugh maps, implications and fallacies, predicate logic, existential and universal quantifiers and finally natural deduction. Become a member: My links: Twitter: Liberapay: Patreon: (Other options at ) Twitch: Homepage: 0:00 Introduction 1:05 Rules for Conjunction (AND) 1:31 Rules for Disjunction (OR) 1:32 What is the point? Axioms! 3:18 Example 1 4:50 Example 2 5:38 Rules for Implication (IMP) 6:44 Rules for Equivalence (XNOR) 7:24 Example 3 9:28 Rules for Negation (NOT) 10:49 Temporary Assumptions Workshop 12:06 Example 4 14:12 Rules for Existential Quantifier (∃) 15:00 Rules for Universal Quantifier (∀) 15:28 Bound and Free Variables 17:34 Summary 17:53 Example 5 20:03 Conclusion 20:21 Example 6 24:38 Example 7 31:10 Example 8 35:53 Exam