Dec 8 Dec 8 Introduction to Logic Online Course, Week 13: Conditional Proof & Indirect Proof in Predicate Logic Zachary Fruhling
Oct 19 Oct 19 Introduction to Logic Online Course, Week 9: Natural Deduction for Propositional Logic, Proving Logical Truths (Video Lecture) Zachary Fruhling
Oct 19 Oct 19 Introduction to Logic Online Course, Week 8: Natural Deduction for Propositional Logic, Conditional Proof and Indirect Proof (Video Lecture) Zachary Fruhling