Homework on §5.4—assigned Mon 10/17 and due Wed 10/19

Use derivations to check the following, checking it twice, once without using attachment rules and once using them:

(A → B) → (C ∧ D) ⇒ B → (C ∨ E)