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