a.
i. Same.
ii. Same. (But either goes with or, and neither goes with nor, if you want to nit pick).
b.
i. (I think I'm wrong)... I get forall-x forall-y (S(x) & P(y) & F(x,y))
<< !!!! Grab your copy of LPL, and look up "translation ... at least ..."
You need to specify "Not at most two" in such a case... or do I have that backward. Point is it's not as innocent as it pretends to be.
>>>
ii. It's probably safer to avoid x's in the English, so what I had (after deleting my x version) was "If
something feeds something, then the former is a student, and the latter is a parrot."
"Something" is a very thin disguise for an x.
c.
i. Basically the same. I just used the other De Morgan form, where the negation is not pushed inside the bracket. I used brackets round the inside terms, too, which is too conservative. (Could well be marked wrong).
ii.
Yes. (What a tangle, eh?)