Accueil > Dictionnaire > Définitions du mot « bi-implication »
Bi-implication
[bjɛ̃plikasjɔ̃]
Définitions de « bi-implication »
Bi-implication - Nom commun
- Bi-implication — définition française (sens 1, nom commun)
-
(Logique) Connecteur binaire (↔ ou ⇔) qui, à partir de deux formules, en forme une troisième.
L’équivalence est une relation entre formules tandis que la bi-implication est un connecteur (binaire) qui à partir de deux formules forme une nouvelle formule.