Prinzip der Kontraposition

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Die logische Äquivalenz oder zulässige Schlussregel, die eine Implikation A → B mit ihrer kontrapositiven Form ¬B → ¬A verbindet und zu Umformungen oder Begründungen von Argumenten durch Negation und Vertauschung dient.