Hello.

According to this lecture(somewhere around 5:20) shifting order of quantifiers in first-order logic can create a formula which isn't equivalent to the preceding one.

So, Ax Ey P(x,y) would not be the same as Ey Ax P(x,y).

I don't understand why is that so and the lecture doesn't mention it much. Can anyone here explain why?