Homework on §3.4—assigned Fri 9/23 and due Mon 9/26

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)