# bi-impliquer

## Français

### Étymologie

    De bi-implication, nom du connecteur logique d’équivalence (↔).

### Verbe

bi-impliquer \bi.ɛ̃.plik\ transitif, 1ᵉʳ groupe (voir la conjugaison)

* (Logique) (Rare) Être logiquement équivalent à.
   * Désolé, c’est (p ou q) bi-implique (non r) — (Logique Propositionnel, site www.ilemaths.net, 22 septembre 2012)
   * C’est le cas de « et », « ou », « ou bien … ou bien … », « implique », « bi-implique », mais aussi de « parce que », etc. — (Thierry Lucas, Isabelle Berlanger, Isabelle De Greef, Initiation à la logique formelle : exercices et corrigés, De Boeck Supérieur, 2005, p. 29)

**Synonymes**

* équivaloir
