| Phi 270 Fall 2013 |
|
(Site navigation is not working.) |
Homework for Philosophy 270, Fall 2013
Homework on §5.4—assigned Mon 10/21 and due Wed 10/23
(to PDF format)
Use derivations to check the following (confirming a counterexample if it fails):
¬ (A ∨ B) → (C → D) ⊨ ¬ A → D