Definition:Existential Quantifier/Notational Variants
Jump to navigation
Jump to search
Definition
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 |
Sources
- 1973: Irving M. Copi: Symbolic Logic (4th ed.) ... (previous) ... (next): $4$: Propositional Functions and Quantifiers: $4.1$: Singular Propositions and General Propositions
- 1980: D.J. O'Connor and Betty Powell: Elementary Logic ... (previous): Appendix