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)
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)