Definisjon av existential quantifier

Vi fant 2 definisjoner av existential quantifierengelsk.

Annonsering

WordNet WordNet by Princeton University

Noun

existential quantifier - a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true
existential operator
= synonym
= antonym
= relatert ord

Wiktionary Wiktionary dictionary logo

Substantiv

existential quantifier - 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.

Siste søk