Bi-implication définition

bi-implication

[nom] Connecteur binaire (↔ ou ⇔) qui à partir de deux formules forme une troisième formule ; cette troisième formule.
Trouvé sur https://fr.wiktionary.org/wiki/bi-implication

---