6 Rules of Inference and Proof Techniques
13
Lectures
100
SAR
-
-
6 Rules of Inference and Proof Techniques
- Modus ponens 14:40
- Modus Tollens 17:17
- Common rules of Inference 20:49
- Deduction 1 17:01
- Deduction 2 19:38
- Deduction (Solved Exercise) 15:47
- Two Common Mistakes 13:44
- Proof Techniques (intro) 05:45
- Direct proof 18:00
- Proof by Contrapositive 19:51
- Proof by Contradiction 29:54
- Proof of Equivalence 1 18:42
- Proof of Equivalence (Exercise) 12:27
-
6 Rules of Inference and Proof Techniques
