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

Use derivations to check the following (presenting a counterexample if it fails):

¬ (A ∨ B) → (D → C) ⊨ ¬ C → B