Consider the domain of integers. What is the truth value of (existsy)(forallx)(x+y=0)(\\exists y)(\\forall x)(x+y=0)(existsy)(forallx)(x+y=0)?
False
True
Depends on y
Undefined