1) Proofs with connectives:

6.30, 6.33, 6.35, 6.41

2) Conditionals, biconditionals

8.34-8.35

3) Quantifier translation

11.39, 11.40

4) Proofs with Quantifiers

13.26, 13.27, 13.32, 13.33

Last modified: Tue Oct 31 16:03:40 PST 2000