Homework on §7.6—assigned Fri 11/12 and due Mon 11/15

(i)

Use derivations to show:

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

(ii)

Analyze (and restate using unrestricted quantifiers):

If anyone heard the warning, the storm didn’t surprise everyone

(Bear in mind the difference between this sentence and the sentences you could get by replacing any by every or every by any.)