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

Use a derivation to show the following argument is not formally valid and present a counterexample that divides a dead-end gap: ¬ (¬ B ∧ C), ¬ ¬ A ⇒ A ∧ B