Schlussregeln
In der Mathematik ist es häufig erforderlich, neue Aussagen aus schon vorhandenen Aussagen zu gewinnen oder auch zu zeigen, dass sich eine bestimmte Aussage zwingend aus bereits als wahr erkannten Aussagen ergibt.
Aus dem Inhalt:
[...] Regel der Kontraposition Wenn die Aussagenverbindung „Wenn A, so B“ wahr ist, so ist auch „Wenn nicht B, so nicht A“ wahr (und umgekehrt). Kurzform [...]
https://www.lernhelfer.de/schuelerlexikon/mathematik/artikel/schlussregeln