Universal quantifier

The quantifier denoted

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

and read

“for all/each/every/all/any \(x\), \(P(x)\)”,

where \(P\) is the quantified predicate.

(Levin 2021, sec. 0.2)

• Synonyms
• Relation to existential quantification
• Example