Homework for Philosophy 270, Fall 2009
Homework on §5.3
—assigned Wed 10/14 and due Mon 10/19
Use derivations to show the following:
A → (B → C), (A ∧ D) → B ⊨ ¬ C → (A → ¬ D)