équivalence logique

concept opérateur logique entre deux propositions permettant d'affirmer que ces propositions ont la même valeur de vérité

Aussi : ⇔, si et seulement si, condition nécessaire et suffisante, equivalence logique, si, et seulement si, équivalence, équivalent à