Homework for Philosophy 270, Fall 2009

Homework on §5.4—assigned Mon 10/19 and due Wed 10/21

Use derivations to check the following (presenting a counterexample if it fails):

¬ (A ∨ B) → (C → D) ⊨ ¬ A → D