I'm aware that

reads as "For all x, there is at least one y such that P(x,y) is true."Is it correct to say that

reads as "There is at least one x such that P(x,y) is true for all y"?

That is correct. As an illustration, let us apply this to the definition of continuity: let f(

where

denotes the statement .You should also be aware that

and do not commute: . In the first statement, theFor example, in the definition of continuity above, let us reverse the order of

and :This is no longer the definition of continuity, but of uniform continuity, which is a stronger condition than continuity.

zetafunc. wrote:

Furthermore, how do I interpret these statements?

Can we simply interpret them as "there exists an x AND there exists a y" and similarly for the subsequent statement? Or is this wrong?

Right again. And this time commutes with , as does with . For example, the definition of continuity above can be restated as follows:

ItÂ’s the same thing.

]]>I'm aware that

reads as "For all x, there is at least one y such that P(x,y) is true."Is it correct to say that

reads as "There is at least one x such that P(x,y) is true for all y"?Furthermore, how do I interpret these statements?

Can we simply interpret them as "there exists an x AND there exists a y" and similarly for the subsequent statement? Or is this wrong?

]]>