∃!

Definition from Wiktionary, the free dictionary
Jump to: navigation, search
See also:

Translingual[edit]

Symbol[edit]

!

  1. (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)))

See also[edit]


Dutch[edit]

Symbol[edit]

!

  1. unique existential quantifier: er bestaat precies één

Spanish[edit]

Symbol[edit]

!

  1. unique existential quantifier: existe un único