Homework for Philosophy 270, Fall 2012

Homework on §5.3—assigned Wed 10/10 and due Mon 10/15

(to PDF format)

Use derivations to show the following:

B → (C → D), E → (A → C) ⊨ ¬ D → (E → (B → ¬ A))