Personal website Rudolf Adamkovič

Home / Logic


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)



© 2025 Rudolf Adamkovič under GNU General Public License version 3.
Made with Emacs and secret alien technologies of yesteryear.