Translate the following sentences into wfs.
John hates all people who do not hate themselves.
Let O:= hate themselve, h:=John hates.
Then $\forall x ( \lnot O(x) \to h(x) )$
Is this translation correct?
Also, for this sentence
Any sets that have the same members are equal,
what can I do?