∃!
Translingual
Symbol
∃!
- (mathematics) The symbol used in predicate calculus, etc, to represent the unique existential quantifier, meaning "there exists exactly one".
- (∃!x: P(x)) ↔ ∃x:(P(x) ∧ ∀y:(P(y) → (y = x)))
This article is issued from
Wiktionary.
The text is licensed under Creative
Commons - Attribution - Sharealike.
Additional terms may apply for the media files.