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.)