Thread: How would you express the following?

If s(m,n) = d has n how would u say

∀x∃Ys(x,y)
∃Y∀xs(x,y)
I dont get why its different depending on the order of the quantifer
Please explain?
Thanks

What does "s(m,n) = d has n" mean?

Concerning the order of quantifiers, it is true that for every person x there exists a person y such that y is the mother of x. However, it is not true that there exists a person y such that for every person x it is the case that y is the mother of x.

sorry i meant s(m,n) means m has n

What does "m has n" mean? Are m and n numbers, which is what they usually denote in mathematics, or is m a person?