Bijunktion (mathematische Logik)

die Verknüpfung zweier Aussagen A und B durch den Junktor »genau dann, wenn« (Zeichen ⇔ oder ↔) zu einer neuen Aussage A ⇔ B (»A gilt genau dann, wenn B gilt«). Äquivalenz.