Logicmedium
0:00.0

Evaluate the truth value of the following quantified statement over the set of real numbers R\mathbb{R}: (x)(y)(x+y=y)(\exists x)(\forall y)(x + y = y).