Haben zwei logische Ausdrücke immer denselben Wahrheitswert, spricht man von logischer Äquivalenz.
Die logische Äquivalenz ist das metasprachliche Gegenstück zum Bikonditional und ist in vielen Fällen auch nicht von dieser zu unterscheiden.
Dieser Artikel ist bisher nur ein Platzhalter und deswegen unvollständig.
Als Symbol für logische Äquivalenz wird auf dieser Site das Äquivalenzzeichen (≡
) benutzt. Wo die Unterscheidung zum Bikonditional nicht relevant oder nicht möglich ist, können auch ↔
/⟷
und ⇔
/⟺
verwendet werden.
Für die Negation, also die Form „ist nicht logisch äquivalent zu“ werden entsprechend durchgestrichene Varianten benutzt, insbesondere „≢
“.