Homework for Philosophy 270, Fall 2006

Homework on §5.4—assigned Mon 10/16 and due Wed 10/18

Use derivations to check the following and present a counterexample if it fails:

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