Homework on §3.3—assigned Wed 9/23 and due Fri 9/25
Construct a derivation to show:
¬ (A ∧ ¬ (B ∧ C)), A ⊨ C
[Notice that, for A: Ann was there, B: Bill was there, C: Carol was there, the first premise amounts to Ann wasn’t there without Bill and Carol both being there]