nested universal quantifiers (2 Viewers)

[kzbenn]

How do you read this:

What do the brackets mean?

 

[beetree1]

for all values of x, y^2=x for all values of y

 

[Xanthi]

Hmm, anyone know if you negate statement with domain do you negate the domain?

E.g what would be the negation of -]xER:x>2

 

[kzbenn]

for all values of x, y^2=x for all values of y

Thanks