Homework for Philosophy 270, Fall 2008

Homework on §5.4—assigned Mon 10/20 and due Wed 10/22

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

(A ∧ B) → (C ∨ D) ⇒ B → C