bi-impliquer

Français

Étymologie

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

Verbe

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

1. (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

Prononciation

• France (Toulouse) : écouter « bi-impliquer [Prononciation ?] »
• (Région à préciser) : écouter « bi-impliquer [Prononciation ?] »
• Cesseras (France) : écouter « bi-impliquer [Prononciation ?] »