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.
[1, Sec. 0.2]
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.
[1, Sec. 0.2]