Eine logische Äquivalenz liegt vor, wenn zwei logische Ausdrücke den gleichen Wahrheitswert besitzen.
Der Ausdruck Äquivalenz wird in der Logik mehrdeutig verwendet:
zum einen im Sinne der materialen Äquivalenz (Bikonditional)
zum anderen im Sinne der formalen Äquivalenz (Logische Äquivalenz).Bikonditional (materiale Äquivalenz) und logische Äquivalenz (formale Äquivalenz) sind wesentlich ...