50:50

8.2 Predicate Logic: Using the Rules of Inference

24:04

7.6 Indirect Proof

49:03

6.1 Symbols & Translation

18:24

1.1 Logic Basics #1

1:08:52

8.5 Predciate Logic: Finite Universe Method

53:04

7.1 Rules of Implication I

57:47

8.1 Predicate Logic: Symbols & Translation

29:44

5.1 Standard Form, Mood, and Figure