Math 39 Homework #3

The dictionary is the only place where success comes before work.
Arthur Brisbane

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

Problems

The following problems are due by the beginning of class on Friday 10/2.
  • 1.4: 13a,c.
  • 1.5: 14a, 15a, 16, 17.
  • 1.6: 20, 21.