Considere a definição de função injetora !$ f:\mathbb{R}\rightarrow\mathbb{R} !$ a seguir:
“!$ f !$ é injetora se !$ \forall~ x_1,x_2\in\mathbb{R} !$ tivermos: Se !$ x_1\ne x_2 !$ então !$ f(x_1)\ne f(x_2) !$.”
A proposição em destaque nessa definição é logicamente equivalente a:
