====== Logische Äquivalenz ======

Haben zwei logische Ausdrücke immer denselben Wahrheitswert, spricht man von //logischer Äquivalenz//.

Die logische Äquivalenz ist das metasprachliche Gegenstück zum [[begriffe:bikonditional|Bikonditional]] und ist in vielen Fällen auch nicht von dieser zu unterscheiden.

FIXME **Dieser Artikel ist bisher nur ein Platzhalter und deswegen unvollständig.**

===== Symbole =====

Als Symbol für logische Äquivalenz wird auf dieser Site das Äquivalenzzeichen (''<span "ist logisch äquivalent zu">≡</span>'') 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 „''<span "ist nicht logisch äquivalent zu">≢</span>''“.
===== Siehe auch =====

  * [[begriffe:tautologie|Tautologie]]
  * [[begriffe:kontradiktion|Kontradiktion]]

===== Weitere Informationen =====

  * [[wpde>Logische Äquivalenz|Logische Äquivalenz]] auf //Wikipedia//