Homework on §3.3—assigned Wed 9/22 and due Fri 9/24

Construct a derivation to show the following, and do not use Adj:

¬ (¬ D ∧ C), C ⊨ D