Homework for Philosophy 270, Fall 2006

Homework on §3.2--assigned Mon 9/18 and due Wed 9/20

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

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