Homework for Philosophy 270, Fall 2011
Homework on §3.2—assigned Mon 9/19 and due Wed 9/21
(to PDF format)
Construct a derivation to show the following (you will need to use Adj for part of it):
¬ B, ¬ (A ∧ ¬ B) ⊨ ¬ (B ∧ C) ∧ ¬ A