Why is the negation of the statement $\exists x P(x)$ given by $\forall x (\neg P(x))$ and not $\not \exists x P(x)$?

The two statements are equivalent, the reason why we write it that way it is because it is easier to deal/prove it. It is irrelevant which way it is easier to say it, the important thing is being able to use.

Just consider the statement $\exists x \in \mathbb Z, x^2+(x+1)^2 \mbox{ is even}$. This is not true, now try to show that this is false.

Try to prove separately each of the following two statements:

  • $\not\exists x \in \mathbb Z, x^2+(x+1)^2 \mbox{ is even}$
  • $\forall x \in \mathbb Z, x^2+(x+1)^2 \mbox{ is odd}$

It is easier to deal with the second one.


Which form to consider simpler is basically a matter of taste and convention.

There are some accounts of predicate logic that consider $\exists$ the only primitive quantifier and treat $\forall x\,\varphi$ as an abbreviation for $\neg\exists x\neg\varphi$.

My impression is that this is something of a minority option these days, but it is not wrong as such.