Bezeichnung für die logische Äquivalenz.

Sind z. B. A und B Aussagen, die logisch äquivalent sind, dann kann dies durch „A genau dann, wenn B“ gekennzeichnet werden. Hierfür schreibt man häufig auch kürzer „A gdw B“ oder A ↔ B oder \(A\space \iff \space B\). Eine andere Bezeichnungsweise für „genau dann, wenn“ ist „dann und nur dann, wenn“.