| Day | Topics | Readings/Assignments
|
|---|
| Day 7
|
- Rules of inference for formal proofs:
- Negation introduction
- Negation elimination
- Contradiction introduction
- Contradiction elimination
- The proper use of subproofs
|
|
| Day 8
|
- Material conditional
- Non-truth
functional connectives
- Biconditional
- Truth functional completeness
- Conditional introduction
- Conditional elimination
- Biconditional introduction
- Biconditional elimination
| Read chapter 8
Complete exercises 6.28, 6.29, 6.30, 6.31, 7.12, and 7.13 by
Thursday, BC.
|
| Day 9
|
- Soundness and completeness of predicate logic
| Read chapter 9
Complete exercises 8.41 - 8.43 by day 11 (Monday), BC
|
| Day 10
|
- Syntax of FOL
- Well-formed formulas
- Sentences
- Quantification
- Variables
- Quantifiers: universal, existential
- Intuitive semantics of quantifiers
- Translating complex noun phrases
- Quantifiers and function symbols
| Read chapter 10
Complete exercises 8.44 - 8.53 by day 11 (Monday), BC
|