zweistellige extensionale Aussagenoperation, die durch „genau dann, wenn“ gekennzeichnet wird (Aussagenlogik).

Die logische Äquivalenz oder kurz Äquivalenz ordnet den gegebenen Aussagen A, B die Aussage „A genau dann, wenn B“ zu, welche ebenfalls als Äquivalenz bezeichnet wird und häufig mit A ↔ B oder A ⇔ B oder A ≡ B abgekürzt wird.

Eine Äquivalenz ist stets kommutativ und assoziativ, d. h., die Aussagen A ↔ B und B ↔ A bzw. (A ↔ B) ↔ C und A ↔ (B ↔ C) sind logisch äquivalent.