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:
[...] eines Satzes bewiesen werden soll (vgl. das nachfolgende Beispiel zum Äquivalenzschluss). Regel der Fallunterscheidung Wenn unter gegebenen Voraussetzungen [...]
https://www.lernhelfer.de/schuelerlexikon/mathematik/artikel/schlussregeln