Homework on §3.2—assigned Wed 9/22 and due Fri 9/24

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