Phi 270
Fall 2013
site index
(Site navigation is not working.)

Homework for Philosophy 270, Fall 2013

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

(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