8.5 Predciate Logic: Finite Universe Method
33:00
8.3 Change of Quantifier Rule
6:37
7H.I: Indirect Truth Tables to Determine Validity (1)
24:04
7.6 Indirect Proof
26:44
1.5 Argument Forms: Proving Invalidity
22:12
Semantics: Predicate Logic
57:47
8.1 Predicate Logic: Symbols & Translation
42:32
8.4 Predicate Logic: Condition & Indirect Proof
18:24