Homework on §3.5—assigned Mon 9/26 and due Wed 9/28

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) whether you closed the gap, developed it, or marked it as a dead end (and the rule you applied if there was a choice): ¬ (A ∧ B), B ∧ C ⇒ C ∧ ¬ A