Homework on §3.5—assigned Mon 9/27 and due Wed 9/29

Construct a derivation for the following claim of entailment and, for each stage, tell (i) which gap you chose to work on, (ii) the proximate argument of the gap and the (basic) rules that could have been applied, and (iii) the rule you applied (if there is any that could be applied):

¬ (A ∧ ¬ B) ∧ C, A ∧ D ⊨ B ∧ D

That is, do just what you did on the in-class worksheet for §3.5 (see also exercise 1 for §3.5).