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

Use derivations to show the following:

A → (B → C), (A ∧ D) → B ⇒ ¬ C → (A → ¬ D)

(Hint: you will need to use detachment rules from both 5.3 and 4.3.)