Lecture 3 (Logic) Common Tautologies and Indirect Proof

Full Playlist: https://www.youtube.com/playlist?list=PLJWhXkxQzDF58EHPCuxHS-iaMpom9qTqg

Chapter 2: Sentential Theory of Inference (Continued)
- 2.3 Useful Tautological Implications
- 2.4 Consistency of Premises and Indirect Proof