two adjacent universal quantifiers with the same scope (or swapping two adjacent existential quantifiers with the same scope) doesn't change the meaning of the formula (see Example here), but swapping an existential quantifier and an adjacent universal quantifier may change its meaning.

The maximum depth of nesting of quantifiers in a formula is called its "quantifier rank".

Equivalent expressions

1.Previous
3.Next