Something really important that I have learned is that the order in which one writes the quantifiers is of paramount importance; writing them in the wrong order can affect the truth value.

Now here's my question: Am I looking at quantifiers in a correct way? Let me give an example:

$\displaystyle (\forall x) (\exists y) $

This says that for all possible x values, there exists a y. For every x value, there is at least one y that satisfies whatever..

Then you have:

$\displaystyle (\exists y) (\forall x) $

This says: some y value such that for every possible x... whatever. To me, this makes y appear more "fixed" than in the first statement, since in the first statement, the y is in the context of all x.

Finally, I have encountered statements like:

$\displaystyle (\forall x) (\exists y) (\forall z) $

How must I look at such a statement?

I have posted a lot of questions about this topic, and I feel like I'm beating a dead horse. However, I really want to ensure that I understand this topic well. I've never taken a class like this before, it seems like a whole new way of thinking.

Thanks