WordNet: existential operator, existential quantifier
a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true
- hypernym logical quantifier, quantifier
existential operator
- (suomi) eksistenssikvanttori (synonyymi)
existential quantifier
- (suomi) eksistentiaalinen kvanttori (synonyymi)