Please help with the below question....
Symbolization of the expression "All the world loves a lover" is
d) None of these
For every x, if x is a person in the world, then:
for every y, if y is a person in the world and y is a lover, then x loves y.
Note that this requires you to think of lover different from loves. Not too hard as lover is a noun, and love is a verb. And it requires that you can say each proposition means anything you want it to mean. If this is the case, then I think you can defend this position to an instructor. If they ask the domain of discourse, simply say "everything, which is why P(x) and P(y) are necessary."
Anyone else come to a different conclusion? There is too much interpretation involved for me to be very confident in my answer.