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