Introduction to Logic Online Course, Week 6: Natural Deduction for Propositional Logic, Rules of Replacement I (Video Lecture)
The following is the Week 6 video lecture for my online Introduction to Logic course, from the Fall 2020 semester at College of Eastern Idaho.
Introduction to Logic, Week 6 Video Lecture: Natural Deduction for Propositional Logic, Rules of Replacement I
This video lecture covers the following natural deduction rules of replacement (i.e., equivalence rules): Double Negation (DN), Commutativity (Com), De Morgan’s Rule (DM), Associativity (Assoc), and Distribution (Dist).
Subscribe to my YouTube channel for these and other philosophy video lectures, and to be notified when new videos are posted to my channel:
Related Reading:
A Concise Introduction to Logic, 13th edition by Patrick J. Hurley and Lori Watson