So, the question I got was:
∀x,(x =/= 0) → (∃!y, xy = 1)
I'm really confused about what the "∃!y" means in this context, because the way I'm interpreting the question is:
"For all x (when x is not equal to 0), there does not exist a y such that x*y = 1." ???
But the answer is:
T (given x =/= 0, y = 1/x is the only example)
What am I not getting?