Existential operator

Rare ·Advanced level

Definitions

Noun
  1. 1
    a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true wordnet