# What does $\forall x \exists y(x + y = 0)$ mean?

What does $\forall x \exists y(x + y = 0)$ mean?

Does it mean "For all x there exists a y for which x + y equals zero"?

Thanks.

-
tip: You may accept an answer that you find helpful (you can accept one answer per question) by clicking on the $\checkmark$ to the left of the answer you'd like to accept :-) – amWhy Feb 14 '13 at 21:40

Yes, it does.

In plainer, more succinct words, it means that "every number has an additive inverse".

-
Also, be absolutely sure not to confuse this with $\exists y \forall x (x + y = 0)$. The two statements are subtly different, in that in the first one, the $y$ can be different for each $x$, but in the second one, the same $y$ needs to work for all $x$. – Joe Z. Feb 14 '13 at 18:26
Think of it as the "such that" always immediately following the variable that the $\exists$ refers to. "For all $x$ there exists a $y$ such that $x + y = 0$" is not the same as "There exists a $y$ such that for all $x$, $x + y = 0$". And "There exists a $y$ for all $x$ such that $x + y = 0$" would not be a valid transcription of a first-order logic sentence (even though syntactically it should be equivalent to $\forall x \exists y (x + y = 0)$). – Joe Z. Feb 14 '13 at 18:43

Yup, you're correct.

However, it seems a bit clearer if it is written (as suggested in the comments) as

$$\forall x:\exists y : (x + y = 0)$$

-
I find this notation unwieldy as well, though I have seen it in Rosen's "Discrete Mathematics and Applications" book. – JavaMan Feb 14 '13 at 18:27
In statements in first-order logic, there is no "such that". It's implicit in the $\exists$. – Joe Z. Feb 14 '13 at 18:28
Such that is denoted by $\mid$, isn't it? – saadtaame Feb 14 '13 at 18:28
I think you just pinged yourself. :P – Joe Z. Feb 14 '13 at 18:30
If at all I'd prefer the colon as a separator,$\forall x\colon\exists y\colon x+y=0$ , but only because its general spacing introduces legibility – Hagen von Eitzen Feb 14 '13 at 18:56