- 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 |
|
|