Das ist was durcheinander. Die Kontraposition zu \(A\Longrightarrow B\) ist \(\neg B\Longrightarrow \neg A \) und diese beiden sind stets äquivalent. Also in Deinem Beispiel: Wenn ich nicht Engländer bin, bin ich nicht WC.
Oder injektiv: \((f(x)=f(y)\Longrightarrow x=y ) \iff (x\neq y \Longrightarrow f(x)\neq f(y))\).
Lehrer/Professor, Punkte: 38.69K