existential quantifier love

existential quantifier

Definitions

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

Etymologies

Sorry, no etymologies found.

Examples

Sorry, no example sentences found.

Comments

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