existential quantifier love

existential quantifier


from Wiktionary, Creative Commons Attribution/Share-Alike License.

  • noun logic 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.

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