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 :D
Printable View
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 :D
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?