Universal quantifier

a.k.a. for all, for each, for every

A quantifier, denoted

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

and read

where \(P\) is the quantified predicate.

(Levin, 2021, sec. 0.2)

• Connect
• Explore