Introduction to Logic Online Course, Week 9: Natural Deduction for Propositional Logic, Proving Logical Truths (Video Lecture)
The following is the Week 9 video lecture for my online Introduction to Logic course, from the Fall 2020 semester at College of Eastern Idaho.
Introduction to Logic, Week 9 Video Lecture: Natural Deduction for Propositional Logic, Proving Logical Truths
This video lecture covers using the Conditional Proof (CP) and/or Indirect Proof (IP) methods for proving logical truths (tautologies) in propositional logic natural deduction.
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
