Description
We cover elementary propositional and predicate logic.
Lectures
| Introduction: Reasoning and Proof |  | Exercises 1.0 | Propositional Logic |
|---|---|---|
| PL Syntax | | Exercises 1.0 |
| PL Semantics: Truth Tables | | Exercises 1.0 |
| Formalization | | Exercises 1.0 |
| Proof: Natural Deduction | | Exercises 3.0 |
| Showing Invalidity: Counter-Models | | Exercises 5.0 | Predicate Logic |
| PD Syntax | | Exercises 1.0 |
| PD Semantics: Interpretations | | Exercises 1.0 |
| Formalization | | Exercises 1.0 |
| Proving Validity: Natural Deduction | | Exercises 3.0 |
| Proving Invalidity: Counter-Models | | Exercises 5.0 |