# Synonymes de bi-implication

Source : https://synonyma.fr/bi-implication · 1 synonymes · 0 antonymes · mis à jour le 2026-11-03

## Synonymes de bi-implication

### Nom commun

- [équivalence](https://synonyma.fr/%C3%A9quivalence) (plus courant)

## Définitions

### Nom commun \bi.ɛ̃.pli.ka.sjɔ̃\

1. (Rare) Connecteur binaire (↔ ou ⇔) qui, à partir de deux formules, forme une troisième formule ; cette troisième formule.
   > 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.

## Étymologie

Emprunt à l’anglais.

## Sources et licence

- Wiktionnaire, « bi-implication » : https://fr.wiktionary.org/wiki/bi-implication (CC BY-SA 4.0)