Homework for Philosophy 270, Fall 2011
Homework on §5.4—assigned Mon 10/17 and due Wed 10/19
(to PDF format)
Use derivations to check the following (presenting a counterexample if it fails):
¬ (A ∨ B) → (C → D) ⊨ ¬ A → D