Existential quantifier

A quantifier, denoted

\[\begin{equation*}
  \exists x \>\> P(x),
\end{equation*}
\]

and read

“there exists \(x\) such that \(P(x)\)” 

or 

“for some \(x\), \(P(x)\)”,

where \(P\) is the predicate that is

quantified.

[1, Sec. 0.2]

• Synonyms
• Relation to universal quantification
• Example