7.6 Indirect Proof
24:59
7.5 Conditional Proof
50:50
8.2 Predicate Logic: Using the Rules of Inference
53:04
7.1 Rules of Implication I
34:09
6.5 Indirect Truth Tables
42:32
8.4 Predicate Logic: Condition & Indirect Proof
17:59
Natural Deduction Proofs: practise examples | Attic Philosophy
32:05
7.4 Rules of Replacement II
52:49