Homework on §3.2—assigned Mon 9/19 and due Wed 9/21

Construct a derivation to show: ¬ A ∧ B, ¬ (B ∧ C) ⇒ ¬ (A ∧ B) ∧ ¬ C