Homework for Philosophy 270, Fall 2011
Homework on §7.5—assigned Wed 11/9 and due Fri 11/11
(to PDF format)
Use derivations to show:
∀x (Pxx → ¬ Qx), ∀x (Rx → ∀yPxy) ⊨ ∀x (Rx → ¬ Qx)
Analyze and restate using unrestricted quantifiers:
No one reported any bug in the program