∃!

Hello, you have come here looking for the meaning of the word ∃!. In DICTIOUS you will not only get to know all the dictionary meanings for the word ∃!, but we will also tell you about its etymology, its characteristics and you will know how to say ∃! in singular and plural. Everything you need to know about the word ∃! you have here. The definition of the word ∃! will help you to be more precise and correct when speaking or writing your texts. Knowing the definition of∃!, as well as those of other words, enriches your vocabulary and provides you with more and better linguistic resources.

Translingual

Symbol

!

  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