Homework for Philosophy 270, Fall 2009

Homework on §3.2—assigned Mon 9/21 and due Wed 9/23

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

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