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

- Aug 2nd 2012, 11:59 AMomegatidusHow 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 :D - Aug 2nd 2012, 12:16 PMemakarovRe: How would you express the following?
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. - Aug 2nd 2012, 01:29 PMomegatidusRe: How would you express the following?
sorry i meant s(m,n) means m has n

- Aug 2nd 2012, 01:36 PMemakarovRe: How would you express the following?
What does "m has n" mean? Are m and n numbers, which is what they usually denote in mathematics, or is m a person?