Homework on §7.7—assigned Mon 11/15 and due Wed 11/17

(i) Use a derivation to check the following and give a structure dividing an open gap:

(∀x: Sx) ¬ Gox, ∀x Gxx ⇒ (∀x: Sx) ¬ Gxo

[Remember that you have not reached a dead end until you have exploited every generalization for each term in the gap]

(ii) Synthesize English for the premises and conclusion using the interpretation:

G: λxy (x is as good as y); S: λx (x is a success); o: that outcome