Which of these is the correct interpretation of the existential quantifier ∃xP(x)\exists x P(x)∃xP(x)?
For every xxx, P(x)P(x)P(x) is true.
There exists at least one xxx such that P(x)P(x)P(x) is true.
There exists exactly one xxx such that P(x)P(x)P(x) is true.
P(x)P(x)P(x) is false for all xxx.