Logische Äquivalenz
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.
Symbole
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 „≢“.
Siehe auch
Weitere Informationen
- Logische Äquivalenz auf Wikipedia