8.5 Predciate Logic: Finite Universe Method
53:04
7.1 Rules of Implication I
50:50
8.2 Predicate Logic: Using the Rules of Inference
26:04
Translating ENGLISH into PREDICATE LOGIC
26:44
1.5 Argument Forms: Proving Invalidity
49:03
6.1 Symbols & Translation
51:44
6.3 Truth Tables for Propositions
42:32
8.4 Predicate Logic: Condition & Indirect Proof
57:47