(3 points) Let Q(x, y) be the statement " x + y = x - y ". If the universe of discourse for both variables consists of all integers, what are the truth values? 1. Vy3x Q(x, y) 2. JyVx Q(x, y) 3. Vx3y (Q(x, y) ^ (2x - y = 1)) 4. VxVy Q(x, y) 5. Vx3y (x = y2) 6. Vy Q(1, y) 7. 3x Q(x,2) 8. Exy Q(x, y)