Some good solutions:
The easier way to do the first problem was in words:
If you're going to go the wff route, then you need to make clear what your predicates mean:
Notice all the different ways of turning the verbiage into a predicate wff:
For the proof, the most important thing to remember, and the thing that so many of you forgot, is that you need to do the ei (existential instantiation) before the ui (universal instantiation).
