Ein binärer wahrheitsfunktionaler Junktor (gewöhnlich mit → bezeichnet) nach der Semantik der materiellen Implikation, der genau dann falsch ist, wenn der Antezedens wahr und der Konsequens falsch ist, und in allen anderen klassischen Bewertungen wahr.

Prinzip

Die materielle Implikation ist wahrheitsfunktional definiert: P → Q ist in klassischer Aussagenlogik äquivalent zu ¬P ∨ Q; sie drückt nicht automatisch Kausalität, Relevanz oder Überzeugung aus.

Demonstration

Wenn P 'Es regnet' und Q 'Der Boden ist nass', dann ist P → Q nur in dem Szenario falsch, in dem es regnet und der Boden nicht nass ist; in den anderen Kombinationen (kein Regen, oder Boden nass) ist P → Q wahr.

Fehlanwendung

Die materielle Implikation als kausale oder erklärende Relation zu interpretieren oder logische Fehlschlüsse wie das Bestätigen des Konsequens oder das Verneinen des Antezedens zu begehen, wenn man → als Berechtigung zur Inferenz des Antezedens vom Konsequens betrachtet, ist eine häufige Fehlanwendung.

Konsequenz

Materielle Implikation unterstützt bedingtes Schließen in Beweisen, den Deduktionstheorem in vielen Systemen und einfache wahrheitsfunktionale Reduktionen; sie ermöglicht mechanisierte Überprüfung von Gültigkeit und Erfüllbarkeit.

Umkehrung

Das Ersetzen der materiellen Implikation durch einen strengeren Konditional (z. B. relevante Implikation oder strikte Implikation mit modaler Notwendigkeit) ändert die Folgerungen; die Kontraposition ¬Q → ¬P ist klassisch äquivalent zu P → Q, aber nicht in allen nichtklassischen Systemen.

Abgrenzung

Diese Darstellung ist auf wahrheitsfunktionale, klassische Kontexte beschränkt; indikative Bedingungssätze in natürlicher Sprache, kausale Aussagen, Kontrafaktisches und Relevanzlogiken behandeln 'wenn...dann...' anders und sind möglicherweise nicht mit materieller Implikation deckungsgleich.

Semantische Spannung

Es besteht Spannung zwischen dem formalen materiellen Konditional und dem natürlichen 'wenn...dann...', weil die materielle Implikation Konditionalsätze zulässt, die in der Alltagssprache merkwürdig erscheinen (wahr aufgrund falschen Antezedens), was philosophische Probleme über Angemessenheit erzeugt.

Synthese

Die materielle Implikation ist das wahrheitsfunktionale Konditional, das Konditionale auf Wahrheitswerte reduziert: Es ist das formale Mittel in der Aussagenlogik, um 'wenn...dann...' unter klassischer Semantik auszudrücken, ohne Kausalität oder Relevanz zu behaupten.