Homework on §2.3—assigned Fri 9/10 and due Mon 9/13

Construct a derivation to show that the following claim of entailment does not hold, and present a counterexample that divides an open gap:

A ∧ B, (C ∧ D) ∧ E ⊨ D ∧ (C ∧ F)