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

Homework for Philosophy 270, Fall 2013

Homework on §5.3—assigned Wed 10/16 and due Mon 10/21

(to PDF format)

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

Hint: If you use detachment rules from §4.3 in addition to those in §5.3, you will not need to use a reductio argument.