Bi-implication

Définitions de « bi-implication »

Bi-implication - 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.

Évolution historique de l’usage du mot « bi-implication » depuis 1800

Sources et ressources complémentaires

• Définitions du Wiktionnaire