Homework for Philosophy 270, Fall 2009

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

(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