bi-impliquer
Étymologie
[modifier le wikicode]- De bi-implication, nom du connecteur logique d’équivalence (↔).
Verbe
[modifier le wikicode]bi-impliquer \bi.ɛ̃.plik\ transitif, 1er 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
[modifier le wikicode]Traductions
[modifier le wikicode]Prononciation
[modifier le wikicode]- France (Toulouse) : écouter « bi-impliquer [Prononciation ?] »
- (Région à préciser) : écouter « bi-impliquer [Prononciation ?] »
- Cesseras (France) : écouter « bi-impliquer [Prononciation ?] »