Homework for Philosophy 270, Fall 2006

Homework on §7.6—assigned Fri 11/10 and due Mon 11/13

(i) Use derivations to show:

∀x ((Fx ∧ Gx) → ∀y Rxy), ∀x Gx ⇒ ∀x ∀y (Fx → (Gy ∧ Rxy))

(ii) Analyze:

If anyone who saw everything testified, the case was settled

(Bear in mind the difference between this sentence and sentences you could get by replacing anyone by everyone or everything by anything. You may notice that two interpretations are possible)