Homework for Philosophy 270, Fall 2008

Homework on §5.3—assigned Wed 10/15 and due Mon 10/20

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

B → (C → D), E → (A → C) ⇒ ¬ D → (E → ¬ B)