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