|
Reading
Read what we will cover in the next class: 2.1, 2.2.
When reading 2.1 pay special attention to the following concepts:
- formal system, alphabet, well-formed formulas, axioms, rules of deduction, formal system L,
modus ponens, proof, theorem, deduction from \Gamma, the Deduction Theorem,
Propositions 2.9 and 2.11, and read through the deductions presented in the book to make sure
they are clear (if not, come to class with questions).
|
|