Bikonditional

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Ein binärer Junktor (gewöhnlich mit ↔ bezeichnet), der genau dann wahr ist, wenn seine beiden Operandenformeln denselben Wahrheitswert haben; in der klassischen Logik drückt er materielle Äquivalenz ('genau dann, wenn') aus.