Universal quantifier
From Encyclopedia of Mathematics
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
A logical operator which serves to form propositions using the expression "for all x" . In formal languages the universal quantifier is most often denoted by $\forall x$, $(\forall x)$, or $(x)$. Also used are the notations $(\mathbf{A} x)$, $\cap_x$, $\wedge_x$, $\Pi_x$.
Comments
See also Quantifier.
How to Cite This Entry:
Universal quantifier. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Universal_quantifier&oldid=35864
Universal quantifier. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Universal_quantifier&oldid=35864
This article was adapted from an original article by V.E. Plisko (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article