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.