Homework for Philosophy 270, Fall 2011

Homework on §5.3—assigned Wed 10/12 and due Mon 10/17

(to PDF format)

Use derivations to show the following:

A → (B → C), (A ∧ D) → B ⊨ ¬ C → (A → ¬ D)

If you use detachment rules from §4.3 in addition to those in §5.3, you will not need a reductio argument.