Homework for Philosophy 270, Fall 2008

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

Construct a derivation to show the following (you will need to use Adj):

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