0

While studying quantifiers I got all confused with the following explanation about the order of quantifiers.


The statement

∀x ∃y, y > x

claims that, for any real number x, there is a number y which is greater than it. In the realm of the real numbers this is true. In fact y = x + 1 will always do the trick.

-----------------------------------------------------------------------------strong text

So, for example, I understand that:

X Y . . . . . . 1 1 2 2 3 3 . . . . . .

And, ok, there exists a y that is greater than every x.

But, why can't there exist a x that is greater than every y as stated bellow?


The statement

∃x ∀y, y > x has quite a different meaning from the first one. It claims that there is an x which is less than every y. This is absurd. For instance, x is not less than y = x − 1.


Why absurd? And I didn't understand " For instance, x is not less than y = x − 1."

Is it possible that anyone could help by giving me any insight?

VCS
  • 1

3 Answers3

1

Let's forget about numbers for a minute and consider something easier. You know that people have mothers and some people are the mothers of other people.

Then $$\forall b\exists a. \text{person $a$ is the mother of person $b$}$$ means that for each person $b$, there is some person $a$, such a that $a$ is the mother of $b$. In other words, each person $b$ has a mother. This is true.

But $$\exists a \forall b. \text{person $a$ is the mother of person $b$}$$ says that there is a person $a$ such that for each person $b$, $a$ is the mother of $b$. Here there is one person $a$ who is the mother of everyone. This is false. (Not as a matter of logic, but as a matter of fact: there isn't anyone who is the mother of everyone. If you think there might be, who do you suppose it is? Angela Merkel perhaps? No, she's not the mother of everyone because she's not my mother Okay, perhaps my mother then? No, my mother is not the mother of everyone either; she's only the mother of me and my sister. No, there really isn't anyone who is everyone's mother.)


Now let's go back to numbers.

$$\forall b\exists a. a>b$$

says that for each number $b$, there is some number $a$ that is bigger. This is true, because If someone gives you some number $b$ and dares you to name a number $a$ that is bigger, you can just reply with $a=b+1$, which is bigger than $b$.

But this

$$\exists a\forall b. a>b$$

is false, because it says that there is some number $a$ that is bigger than every number $b$. And of course there isn't one; if you think you have an example, say $a$, I can point out that it is not bigger than $a+1$.


Sometimes it's helpful to think of the quantifiers as a game. The $\exists$ are your moves in the game, and the $\forall$ are your opponent's moves. To show that something like $$\forall b\exists a. a>b$$ is true, your opponent selects a $b$, and then you have to select an $a$ that makes $a>b$ true. You can always do this, by picking $a = b+1$.

But to show that $$\exists a\forall b. a>b$$ is true, you have to go first: you pick an $a$, and then your opponent gets to pick $b$, and you win only if $a>b$. But your opponent can defeat you you by picking a $b$ that is smaller than $a$.

Sometimes it does happen that you can win a game like this one. Suppose that instead of $a>b$ we had $a\cdot b=0$. Then you're playing the game $$\exists a\forall b. (a\cdot b=0).$$ To be sure to win, you need to pick an $a$ so that no matter what $b$ your opponent picks on his move, you get $a\cdot b=0$. There is only one winning move here. Can you find it?

MJD
  • 67,568
  • 43
  • 308
  • 617
1

And, ok, there exists a y that is greater than every x.

Not exactly. If you take any $x$ you want — that means $\forall x$ — then I (or you) may find a special $y$ ($\exists y$) for which the statement $y>x$ is true.
One more time: for every $x$ there exists its special $y$, which may (or may not) depend from $x$. That is what $\forall x\, \exists y \;y>x$ means. And it is true in common sense — for every number you can choose at least one, which is greater ($x+1$ is good idea), it is possible.

Second example. There exists some $x$ (it may be unique or not, but it exists) with a special property: for every $y$ (and it can't depend from $x$, it is just every) it is true that $y>x$. That is what $\exists x\, \forall y \;y>x$ means. And it is not true. Suppose there exists such $x$ — and if every $y$ has the property, let's try $y=x-1$ (or even $y=x$) — we have a contradiction, $x-1<x$, so there is no possibility for $x$ to exist.

sas
  • 3,157
0

It is absurd because that $x$ is included in $\forall y$, and that would mean: $$\exists x, x>x$$

user76568
  • 4,652