Jak to jest, że w tytule masz "różnowartościowa", a w treści "rużnowartościowa"?
Możesz to zrobić na dwa sposoby:
(1) pokaż implikację: (a =/= b) => (f(a) =/= f(b))
(2) pokaż implikację: (f(a) = f(b)) => (a = b)
W razie dalszych niejasności - pytaj śmiało, chętnie pomogę.