Question

What is nested Quantifier? Is order important for nested quantifier?

Explain your answer with appropriate example.

Answer 1

Nested quantifiers are quantifiers that occur within the scope of other quantifiers.

Example: $∀x∃yP(x, y)$

Quantifier order matters in Nested quantifiers

Example: $∀x∃yP(x, y) 6= ∃y∀xP(x, y)$ .