Homework on §5.4—assigned Mon 10/18 and due Wed 10/20

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

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