Homeworks

Due 9/18: exercises 2.1, 2.2a

Due 9/25: exercises 2.2bc, 2.4abc, 2.6, 2.9, and this problem: "Show that in the interpretation in which every sentence letter is true, every formula with no ~s is true. (By "formula" here I mean official formula - no defined connectives allowed.)" Extra credit: exercises 2.7, 2.8.

Due 10/2: exercise 2.11. For parts c and d you may not use contraposition 2, negated conditional, or excluded middle MP.

Due 10/9: exercises 3.1, 3.2, 3.3, 3.5, 3.6. For 3.6, no need to do an inductive proof.