bi-impliquer
Français[modifier le wikicode]
É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 ?] »