How to read embedded quantifiers in Predicate logic
-
- There exists x such that P(x,y) for any y in Y.
-
- For all x in X, there exists y such that P(x,y).
-
- There exists x in X such that P(x,y) for some y in Y.
-
- For all x in X, P(x,y) for all y in Y.