existential quantifier love

Help Wordnik hunt for a million missing words by backing our Kickstarter!

existential quantifier


from Wiktionary, Creative Commons Attribution/Share-Alike License

  • n. 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.

from WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved.

  • n. a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true


Sorry, no etymologies found.


Sorry, no example sentences found.


Log in or sign up to get involved in the conversation. It's quick and easy.