Logichard
0:00.0

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