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