a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true
<noun.communication>
<noun.communication>
existential operator |
![]() |
existential quantifier |
![]() |
semantic pointers
hypernym