Consider the predicate L, such that L(x,y) = "x loves y"
I'm not sure about how the meaning of the predicates change by swapping the order of variables and quantifiers. I've done my best to interpret the following statements. Can someone please let me know if my interpretation is correct?
∀x$\exists$y L(x,y) = For all people x, the following is true: There exists some person y where x loves y. In plain English, this means that "every person has some person out there that they love." (They do not have to be the same person).
$\exists$x∀y L(x,y) = There exists some person x, such that for all y, x loves y. In plain English, this means that "some single person loves each and every person in some group of people".
∀y$\exists$x L(x,y) = For all people y, the following is true: There exists some person x, where x loves all y. In plain English, this means that "each and every person in a group of people is loved by some single person".
$\exists$y∀x L(x,y) = There exists some person y, such that all people x love y. In plain English, this means that "some single person is loved by each and every person in a group of people".
If my interpretation is correct, the I'm noticing a few things. Can someone also let me know if these statements are correct?
The key difference between statements 1 and 4 is that in statement 1, all the people in x each love a potentially different person y. However, in statement 4, a single person that exists, person y, is loved by all the people in x.
The key difference between statements 2 and 3 is the subject and the "phrasing", although they are essentially saying the same thing. In statement 2, the subject is a single person x, who loves all the people in y. In statement 3, the subject is a group of people y, who are all loved by a single person x.
Thanks for the help. This concept is quite confusing to me, and I want to make sure that I am understanding it correctly.
One by one: