До меня долго не могло дойти то, что "

из

следует

" эквивалентно "

из

следует

". То есть, вот это "неравно" в исходой формулировке полностью сбило с толку.

Как уже отметил
Combat Zone, не эквивалентно. Если из утверждения

следует утверждение

, то это совсем даже НЕ эквивалентно тому, что из отрицания

следует отрицание

. Например, "Если я смотрю телевизор, то я засыпаю", вовсе не эквивалентно "Если я не смотрю телевизор, то я не засыпаю". Зато импликация

будет эквивалентна следующему утверждению:

, где

и

- это отрицания утверждений

и

соответственно (т.е. для нашего примера эквивалентным будет: "если я не засыпаю, то я не смотрю телевизор). Соответственно для доказательства инъективности функции вам нужно доказать, что если

, то тогда

(т.е. что если два числа посылаются функцией в одно и то же значение, то числа должны быть равны)