Definition from Wiktionary, the free dictionary
Jump to: navigation, search
See also: Ǝ [U+018E LATIN CAPITAL LETTER REVERSED E], [U+2204 THERE DOES NOT EXIST], and Appendix:Variations of "e"

Translingual[edit]

Character
Unicode name THERE EXISTS
Code point U+2203
Unicode block Mathematical Operators
[U+2202] [U+2204]

Etymology[edit]

Introduced by Giuseppe Peano in Formulaire de mathematiqués (1897), from the uppercase Latin letter E. The modern variable-binding syntax first appeared in Principia Mathematica (1910).

Symbol[edit]

  1. (mathematics, logic) The existential quantifier, meaning "there exists (at least one)".

Synonyms[edit]

  • (existential quantifier):

Antonyms[edit]

  • (existential quantifier):

See also[edit]


English[edit]

Symbol[edit]

  1. existential quantifier: there exists

Dutch[edit]

Symbol[edit]

  1. existential quantifier: er bestaat

Spanish[edit]

Symbol[edit]

  1. existential quantifier: existe