Homework for Philosophy 270, Fall 2006

Homework on §3.3--assigned Wed 9/20 and due Fri 9/22

Construct a derivation to show:

¬ (A ∧ ¬ (B ∧ C)), A ⇒ C

[Notice that, on the intensional interpretation A: Ann was there, B: Bill was there, and C: Carol was there, the first premise amounts to Ann wasn’t there without Bill and Carol both being there.]