The Existential Quantifier is a [[Quantifier]] denoting the [[Proposition]] "There exists an element $x$ in the [[Domain]] $D$ such that $P(x)quot;. $\huge \exists x \, P(x) $ It is read as "there exists an $x$ such that $P(x)quot;. >[!example] Let $p(x)$ be the statement $1 < x < 2$. > >$\exists x \, P(x)$ is [[Truth Value|True]] where the [[Domain]] consists of [[Real Numbers]]. > >$\exists x \, P(x)$ is [[Truth Value|False]] where the [[Domain]] consists of [[Integer|Integers]].