Homework for Philosophy 270, Fall 2008

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

(i) Use derivations to show:

∀x (Hx → ¬ Gx), ∀x (¬ Hx → ¬ Fx) ⇒ ∀x (Fx → ¬ Gx)

(ii) Analyze and restate using unrestricted quantifiers:

Only large quakes were reported by all observers