bi-implication \bi.ɛ̃.pli.ka.sjɔ̃\ (nom commun) : Connecteur binaire (↔ ou ⇔) qui, à partir de deux formules, forme une troisième formule ; cette troisième formule.
Synonymes de bi-implication
équivalenceplus courant
Définitions
Nom commun \bi.ɛ̃.pli.ka.sjɔ̃\
- RareConnecteur 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.
Mots voisins
bhilawanol· BHLiser· BHNS· bhulan· bi· bi-· bi-impliquer· bi-licence· bi-métallisme· bi-métalliste· bi-pentaphonique· bi-premier
Sources
- « bi-implication », Wiktionnaire, le dictionnaire libre. Texte sous licence CC BY-SA 4.0.
Une erreur, un synonyme manquant ? Corrigez la page du Wiktionnaire : la prochaine mise à jour de Synonyma la reprendra.