I'm stuck on this question from my logic class. It's asking me to translate "a man loves a woman" into symbolic logic where I have to use L (x,y).
Can someone please help?

It depends on what kind of symbolic logic and notation you've bought into. Say you have M = {x:x is a man}, W = {y:y is a woman}. I would imagine that you're saying L(x,y) is order significant so it means the set of (x,y) such that x loves y (L(x,y) = {(x,y):x is in M, y is in W, and x loves y}). "Is in" could be the epsilon symbol. Now you need existential quantifiers for x,y. Usually the backwards E is used. I'll call it bE. So bE x in M and bE y in W such that L(x,y). "in" could be the epsilon symbol and such that could be the backward epsilon symbol.
M = {x:x is a man}
W = {y:y is a woman}
L(x,y) = {(x,y):x is in M, y is in W, and x loves y}
bE x in M and bE y in W such that L(x,y)

2 Responses to “How do you translate "a man loves a woman" into symbolic logic form?”