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

Homework for Philosophy 270, Fall 2013

Homework on §7.5—assigned Wed 11/13 and due Fri 11/15

(to PDF format)

(i)

Use derivations to show:

∀x (Pxx → ¬ Qx), ∀x (Rx → ∀yPxy) ⊨ ∀x (Rx → ¬ Qx)

(ii)

Analyze and restate using unrestricted quantifiers:

No one reported any bug in the program