До меня долго не могло дойти то, что "
из
следует
" эквивалентно "
из
следует
". То есть, вот это "неравно" в исходой формулировке полностью сбило с толку.
Как уже отметил
Combat Zone, не эквивалентно. Если из утверждения
следует утверждение
, то это совсем даже НЕ эквивалентно тому, что из отрицания
следует отрицание
. Например, "Если я смотрю телевизор, то я засыпаю", вовсе не эквивалентно "Если я не смотрю телевизор, то я не засыпаю". Зато импликация
будет эквивалентна следующему утверждению:
, где
и
- это отрицания утверждений
и
соответственно (т.е. для нашего примера эквивалентным будет: "если я не засыпаю, то я не смотрю телевизор). Соответственно для доказательства инъективности функции вам нужно доказать, что если
, то тогда
(т.е. что если два числа посылаются функцией в одно и то же значение, то числа должны быть равны)