Definition:Existential Quantifier/Unique/Also denoted as
Jump to navigation
Jump to search
Definition
The symbol $\exists_1$ is also found for the same concept, being an instance of the exact existential quantifier $\exists_n$.
Some sources, for example 1972: Patrick Suppes: Axiomatic Set Theory, use $\operatorname E !$, which is idiosyncratic, considering the use in the same source of $\exists$ for the general existential quantifier.
Sources
- 1972: Patrick Suppes: Axiomatic Set Theory (2nd ed.) ... (previous) ... (next): $\S 1.2$ Logic and Notation