zweistellige Beziehung zwischen Aussagen, die häufig durch „ genau dann, wenn “oder„ logisch äquivalent mit“ ausgedrückt und durch ⇔, ↔ oder ≡ symbolisiert wird.

Für beliebige Aussagen A, B ist die Aussage „A ⇔ B“ genau dann wahr, wenn beide Teilaussagen A und B wahr oder beide Teilaussagen falsch sind.