Math 39 Homework #11

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

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:

  • tautology & Proposition 3.31, closed wf, closed wfs and interpretations logically valid wf, contradictory wf, try to think of some examples of these.
When reading 4.1 pay special attention to the following concepts:
  • the axioms and rules of deduction of K(L).

Problems

The following problems are due by the beginning of class on Wednesday 10/21.
  • 3.4: 17, 19, 20.
  • In Proposition 3.33, prove Case 2 in the inductive argument, i.e., when we have A = (B -> C).