- Readings are from Schaum's Easy Outline of Logic, Crash Course.
- Flashcards:
Week | Readings | Video Instruction* | Slides | Worksheets | Test Solutions | 1 | Ch 1& 2: Argument Structure and Evaluation | | Lecture 1
| | | 1- 2 | Ch 3: Propositional Logic: Argument Forms, Logical Operators | Video Lec 2
Video Lec 3 | Lecture 2
Lecture 3 | Worksheet 1 Worksheet 2 Worksheet 3 | | 3 | Ch 3: Propositional Logic: Formalization, Semantics of Operators, Truth Tables
| Video Lec 4 Video Lec 5
| Lecture 4 Lecture 5 | Worksheet 4 Worksheet 5 |
| 4 | Ch 3: Propositional Logic, Truth Tables for Wffs, Truth Tables for Argument Forms, Refutation Trees | Video Lec 6 Video Lec 6a | None | Worksheet 6 | Test2 Sol
Test 3 Sol | 5 | Ch 4: Propositional Calculus: Non hypothetical inference rules | Video Lec7 Video Lec 7a | Lecture 7 Lecture 7a | Worksheet 7 Worksheet7a |
| 6 | Ch 4: Propositional Calculus: Hypothetical Inference Rule, Conditional Introduction and Negation Introduction | Video Lec 8 Video Lec 9 Video Lec 10 | Lecture 8 None Lecture 10 | Worksheet 8 Worksheet 9 Worksheet 10 |
Test 4 Sol | 7 | Ch 4: Propositional Calculus: Derived Rules, Theorems and Equivalences | Video Lec 11 Video Lec12 | Lecture 11 Lecture 12 | Worksheet 11 Worksheet 12 |
| 8 | Ch 6: Predicate Logic: Quantifiers, Variables, Predicates and Names | Video Lec 13 Video Lec 14 | Lecture 13 None | Worksheet 13 Worksheet 14 | Test 5 Sol | 9 | Ch 6: Predicate Logic: Formation Rules and Models | Video Lec 15 Video Lec 16
| Lecture 15 Lecture 16 | Continue with 14 Worksheet 16 |
| 10 | Ch 7: Predicate Calculus: Reasoning in Predicate Logic | Video Lec 17
| Lecture 17 | Worksheet 17 | Test 6 Sol Test 7 Sol | 11 | Ch 7: Predicate Calculus: Inference Rules for Universal Quantifier | Video Lec 18 | Lecture 18 | Worksheet 18 |
| 12 | Ch 7: Predicate Calculus: Inference Rules for Existential Quantifier | Video Lec 19
| Lecture 19 | Worksheet 19 | Test 8 Sol | 13 | Ch 7: Predicate Calculus: Theorems and Quantifier Equivalence Rules | Video Lec 20 | Lecture 20 | Worksheet 20 | Test 9 Sol | 14 | Ch 7: Predicate Calculus: Identity | Video Lec 21
| Lecture 21 | Worksheet 21 | Test 10 Sol | 15 | Catch up and Review |
| | | Test 11 Sol | Finals | There is no final exam for this class, but the final test may occur on the final exam date. See final exam schedule here | | | | Test 12 Sol | |
|