Let the domain of x and y be all people. Let W(x): "x is a woman". M(y): "y is a man", and L(x.y): "y loves x". Then vxay. (W(x)AM(y))L(xr, y)] means Every man has a woman that loves him. Every man is...

Extracted text: Let the domain of x and y be all people. Let W(x): "x is a woman". M(y): "y is a man", and L(x.y): "y loves x". Then vxay. (W(x)AM(y))L(xr, y)] means Every man has a woman that loves him. Every man is loved by all women. None of these Every woman is loved by all men. Every woman has a man that loves her.