Ein binärer Junktor (gewöhnlich mit ↔ bezeichnet), der genau dann wahr ist, wenn seine beiden Operandenformeln denselben Wahrheitswert haben; in der klassischen Logik drückt er materielle Äquivalenz ('genau dann, wenn') aus.

Prinzip

Das materielle Bikonditional lässt sich als Konjunktion zweier materieller Implikationen analysieren: P ↔ Q ist äquivalent zu (P → Q) ∧ (Q → P); es erlaubt den Austausch äquivalenter Formeln in klassischen Kontexten.

Demonstration

Beispiel: 'n ist gerade genau dann, wenn n mod 2 = 0' gilt für die gleichen ganzen Zahlen auf beiden Seiten; in der Wahrheitstafel ist P ↔ Q wahr, wenn P und Q beide T oder beide F sind, und sonst falsch.

Fehlanwendung

Das Bikonditional zu verwenden, um unmotivierte kausale oder erklärende Zwei-Wege-Abhängigkeit zu behaupten, oder materielle Äquivalenz mit tiefer logischer Äquivalenz zwischen Theorien zu verwechseln, sind häufige Fehlanwendungen.

Konsequenz

Bikonditionale dienen zur Formulierung von Definitionen und Äquivalenzen; gilt P ↔ Q, kann jede Seite in Beweisen und Definitionen durch die andere ersetzt werden, was reversible Transformationen ermöglicht.

Umkehrung

Die Negation eines Bikonditionalen ergibt exklusives Oder (P ⊕ Q); das Ersetzen von ↔ durch eine einseitige Implikation entfernt die Garantie gegenseitiger Folgerung und Symmetrie.

Abgrenzung

Diese Darstellung behandelt ↔ als wahrheitsfunktionale materielle Äquivalenz in der Aussagenlogik; semantische oder beweistechnische Äquivalenz zwischen Sprachen oder Modellen (logische Äquivalenz) ist eine metatheoretische Größe und muss nicht mit einem einfachen ↔ in der Objektsprache übereinstimmen.

Semantische Spannung

Es besteht Spannung zwischen dem oberflächlichen Junktor ↔ und tieferen Äquivalenzbegriffen (z. B. definitorische Identität, Übersetzbarkeit, modelltheoretische Äquivalenz); nicht jede begriffliche Gleichheit wird durch materielles Bikonditional erfasst.

Synthese

Das Bikonditional ist der symmetrische, wahrheitsfunktionale Junktor, der die Übereinstimmung der Wahrheitswerte zweier Formeln behauptet; es fungiert als formales Zeichen von 'genau dann, wenn' für Definitionen und reversible Schlüsse im klassischen Aussagenlogikrahmen.