27:47Intro to Logic - Lesson 9 - Subproofs, Conditional Proofs and Proofs by CasesDr. Jared Oliphint40 viewsView & Download
7:50Intro to Formal Logic 12: Additional Conditional Proof ExamplesThomas Burrus60 viewsView & Download
52:23Intro to Logic - Lesson 10 - Indirect Proofs, Nested Subproofs, and TheoremsDr. Jared Oliphint119 viewsView & Download
9:57022a Introduction to conditional proof - Symbolic Logic - Natural Deductionulogiq3.7K viewsView & Download
8:16022b "Conditional proof" proof - Symbolic Logic - Natural Deductionulogiq1.8K viewsView & Download