Existential Quantifier

$\exists x:P(x)\equiv P(x_1)\vee P(x_2)\vee \dots P(x_n)\vee \dots$

• $P(x)$ is a predicate
• The truth value of the statement “there exists x such that $P(x)$ is true” is the same as $P(x_1)$ is true or $P(x_n)$ for all other $n$ is true