Homework for Philosophy 270, Fall 2008

Homework on §7.6—assigned Fri 11/14 and due Mon 11/17

(i) Use derivations to show:

∀x (Fx → ∀y Rxy) ⇒ ∀x ∀y (Fy → Ryx)

(ii) Analyze (and restate using unrestricted quantifiers):

If anyone heard the siren, no one was hurt