Biconditionnel

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Un connecteur binaire (généralement noté ↔) qui vaut vrai exactement lorsque ses deux formules opérandes ont la même valeur de vérité ; en logique classique il exprime l'équivalence matérielle (« si et seulement si »).