NOUN
- a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true
How To Use existential quantifier In A Sentence
- The distinction here can be seen as a distinction of scope for the existential quantifier.
- By contraposition and the definition of the existential quantifier, the latter axiom is equivalent to x = x y (y = x).
- That is, the existential quantifier in the consequent needs to have a free range independently of the possibility operator in whose scope it occurs, which is hard to fathom on actualist representationism but which the possibilist view allows. Possible Objects
