Homework on §7.7—assigned Mon 11/14 and due Wed 11/16

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

(∀x: Fx ∧ Gx) Hx, Fa ∧ Ga / (∀x: Fx) (Gx ∧ Hx)

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

(ii) Analyze: No one who attempts everything finishes anything