Homework for Philosophy 270, Fall 2006

Homework on §5.3—assigned Wed 10/11 and due Mon 10/16

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

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