Math 39 Homework #10

Success and failure have much in common that is good.
Both mean you're trying.
Frank Tyger

Quiz

Remember that we have a quiz on Monday 10/19 on Lectures 8 - 10.

Reading

Read what we will cover in the next class: 3.4 & 4.1.

When reading 3.4 pay special attention to the following concepts:

  • Propositions 3.26 - 3.29, tautology & Proposition 3.31, closed wf, closed wfs and interpretations logically valid wf, contradictory wf.
When reading 4.1 pay special attention to the following concepts:
  • the axioms, the rules of inference, what words like deduction, proof, theorem, and consequence mean in this new setting, Proposition 4.3 and 4.4.

Problems

The following problems are due by the beginning of class on Monday 10/19.
  • 3.4: 14, 15, 16.
  • Prove that for a given interpretation and given wf A, we have ~A is false iff A is true.