Symbols:Set Theory/Universal Quantifier

From ProofWiki
Jump to navigation Jump to search

Universal Quantifier

$\forall$

For all.

$\forall x \in S: \map P x$ means that the propositional function $\map P x$ is true for every $x$ in the set $S$.
$\forall x: \map P x$ means that the propositional function $\map P x$ is true for every $x$ in the universal set.


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