existential quantifier

Noun

 * 1)  The operator, represented by the symbol ∃, used in predicate calculus to indicate that a predicate is true for at least one member of a specified set. Verbal equivalents include "there exists" and "there is".

Translations

 * Czech: existenční kvantifikátor
 * Finnish: eksistenssikvanttori, olemassaolokvanttori
 * French:
 * German:, Partikularquantor
 * Hungarian:
 * Icelandic: tilvistarmagnari, tilvistarvirki
 * Russian: ква́нтор существова́ния