Homework on §3.3—assigned Wed 9/21 and due Fri 9/23

Construct a derivation to show: ¬ (¬ D ∧ C), C ⇒ D
(an example of an argument with this form: The package was not both undamaged and crushed, The package was crushed ⇒ The package was damaged)