Homework on §3.4—assigned Fri 9/24 and due Mon 9/27

Use a derivation to show the following argument is not formally valid and present a counterexample that divides a dead-end gap:

¬ (A ∧ B) ⊨ ¬ (A ∧ ¬ B)