Definition:Universal Quantifier/Notational Variants

From ProofWiki
Jump to navigation Jump to search


Various symbols are encountered that denote the concept of universal quantifier:

Symbol Origin
$\forall x$ Gerhard Gentzen: Untersuchungen über das logische Schließen (1935)
$\paren x$ 1910: Alfred North Whitehead and Bertrand Russell: Principia Mathematica
$\Pi x$ Łukasiewicz's Polish notation
$\wedge x$ or $\bigwedge x$
$\ds \operatorname{\Large {\textsf A} } \limits_{x, y, \dotsc}$ 1946: Alfred Tarski: Introduction to Logic and to the Methodology of Deductive Sciences