Introduction to Logic Online Course, Week 13: Conditional Proof & Indirect Proof in Predicate Logic
The following is the Week 13 video lecture for my online Introduction to Logic course, from the Fall 2020 semester at College of Eastern Idaho.
Introduction to Logic, Week 13 Video Lecture: Conditional Proof & Indirect Proof in Predicate Logic
This video lecture covers the use of Conditional Proof (CP) and Indirect Proof (IP) in predicate 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
