Symbols:Set Theory/Existential Quantifier

From ProofWiki
Jump to navigation Jump to search

Existential Quantifier

$\exists$

There exists.

$\exists x \in S: \map P x$ means that there exists at least one $x$ in the set $S$ for which the propositional function $\map P x$ is true.
$\exists x: \map P x$ means that there exists at least one $x$ in the universal set for which the propositional function $\map P x$ is true.


The $\LaTeX$ code for \(\exists\) is \exists .