8 / 1.1
| 13 / 2.1-5
| | |
Jan. 19 I.3 & 4 Substitution, Validity, Implication & Equivalence
| | |
17 / 3.1-3 | | |
19 / 4.1&2 | | |
Jan. 24I.5 Chains of Equivalences | | |
19 / 4.3-5
| 22 / 5.1
| | |
Jan. 26 I.7 Valid Consequence
| | |
19 / 4.6 - 8
| 22 / 5.2
| 27 / 7.1 - 4 | | |
Jan. 30 I.9 Proof Theory
| Provability & Deducibility
| 22 / 5.3
| 27 / 7.5 - 8
| 38 / 9.1 & 2 | | |
Feb. 2 I.10 & I.11 The Deduction Theorem, Consistency,
| Introduction & Elimination Rules
| 38 / 9.3 - 5
| 42 /10.1 - 3 | | |
45 / 11.1 | | |
Feb. 7 Review
| 38 / 9.6 - 8
| 42 / 10.4 & 5
| 45 / 11.2 | | |
Feb. 9 I.12 Completeness
| 49 / 12.1, 3 & 4
| Feb. 14 I.13 Dervied Rules
| 50 / 12.6& 7 | | |
58 / 13.1 - 3 | | |
Feb. 16Chapter IIPredicate Logic
| II.16&17 Formulas, Variables & Domains
| 58 / 13.4 - 7
| 83 / 16.1a - c
| 93 / 17.1 - 3
| Feb. 21II.18 Validity
| 58 / 13.8 & 9
| 83 / 16.1d - f
| 93 / 17.3b - 5b
| 96 / 18.1a | | |
Feb. 23II.19Substitution & Composites
| 83 / 16.1g-j
| 93 / 17.5c - 7
| 96 / 18.1b-d
| 101 / 19.1-c | | |
| Feb 28 II.20 Valid Consequence
| 96 / 18.1e&f, 3
| 101 / 19.1d-g, 2-4
| 107 / 20.1 | | |
March 1 II.21 Provability & Deducability
| 107 / 20.2-7
| 112 / 21.1&2 | | |
| March 6 Review
| 107 / 20.8
| 112 / 21.3-5 | | |
| March 8Midterm Exam on CH. I
|
| March 13 Spring Break
| March 15 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | |