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

Use derivations to check the following:

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

(Hint: you will need to use detachment rules from both 5.3 and 4.3—and notice that you are asked to check validity.)