Definition:Existential Quantifier/Notational Variants

From ProofWiki
Jump to navigation Jump to search


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

Symbol Origin
$\exists x$ Giuseppe Peano: Formulario Mathematico (2nd ed.) (1896)
$\Sigma x$ Łukasiewicz's Polish notation
$\lor x$ or $\bigvee x$
$\ds \operatorname {\Large {\textsf E} } \limits_{x, y \dotsc}$ 1946: Alfred Tarski: Introduction to Logic and to the Methodology of Deductive Sciences