52:23Intro to Logic - Lesson 10 - Indirect Proofs, Nested Subproofs, and TheoremsDr. Jared Oliphint119 viewsView & Download
5:49Logic 101 (#38): Working Backward (Killer Proof Strategy #2)William Spaniel23.0K viewsView & Download
8:12Logic 101 (#45): Proof Practice #3, Nested Conditional Proofs EditionWilliam Spaniel7.4K viewsView & Download
5:01Logic 101 (#37): Killer Proof Strategy #1 (DeMorgan's Everything!)William Spaniel28.9K viewsView & Download
5:47Master Predicate Logic: Nested Quantifiers in 5 MinutesLet's Get Logical1.0K viewsView & Download