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
Linguix for Your Devices