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

Homework for Philosophy 270, Fall 2013

Homework on §3.3—assigned Wed 9/25 and due Fri 9/27

(to PDF format)

Construct a derivation to show the following:

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

[Notice that the first premise is the form of a sentence like Al didn’t finish the job without investing both a lot of time and a lot of effort]