Problem 4. Let the universe for the variables in the following

Question
Problem 4. Let the universe for the variables in the following statement consist of all real numbers. Negate and simplify Vx+y[(lx] = [y]) → (y = ±x)].
Question image 1