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.

Prinzip

Wenn A B impliziert, dann impliziert klassisch ¬B ¬A; Kontraposition tauscht eine Implikation gegen eine äquivalente Implikation zwischen negierten, vertauschten Komponenten und erhält somit die Wahrheit in klassischen Systemen.

Demonstration

Aus »Wenn ein Tier ein Hund ist, dann ist es ein Säugetier« lässt sich die Kontrapositive »Wenn ein Tier kein Säugetier ist, dann ist es kein Hund« folgern; beide drücken dieselbe Kategorieregel in klassischer Logik aus.

Fehlanwendung

Kontraposition auf kausale oder probabilistische Aussagen anwenden, ohne Modalitäten oder Hintergrundannahmen zu beachten (z. B. von »Rauchen verursacht Krankheit« auf »Wenn keine Krankheit, dann kein Rauchen« schließen, obwohl Ursachen nicht bikonditional sind).

Konsequenz

Bietet eine starke Beweistechnik: ¬B → ¬A zu beweisen kann als indirekter Beweis für A → B dienen und liegt Regeln wie Modus Tollens und vielen Reductio-Argumenten zugrunde.

Umkehrung

Die Umkehrung ist die direkte Implikation A → B (Konversion), die sich vom Inversen B → A oder dem Gegenteiligen unterscheidet; während die Kontrapositive klassisch äquivalent ist, gelten Inverse und Konverse nicht allgemein als äquivalent.

Abgrenzung

Gilt als Äquivalenz in klassischer Logik und für materielle Implikation; in manchen konstruktiven oder Relevanzlogiken kann die volle Äquivalenz versagen oder zusätzliche Annahmen über Negation und Implikation benötigen.

Semantische Spannung

Spannung besteht zwischen Kontraposition und Interpretationen der Implikation als kausal, beweisend oder probabilistisch — in diesen Interpretationen bewahrt Kontraposition möglicherweise nicht die intendierte Bedeutung, obwohl sie die materiellen Wahrheitsbedingungen erhält.

Synthese

Kontraposition verbindet Implikation und Negation so, dass in klassischen Rahmen eine Implikation als kontrapositive Aussage formuliert werden kann: Diese Umformung ist für materielle Implikation logisch korrekt, in nicht-klassischen oder modalitiesensitiven Kontexten jedoch mit Vorsicht zu verwenden.