Synonymes de bi-implication

Tous les synonymes

Nom

Définitions

1. n. 1

   Connecteur binaire (↔ ou ⇔) qui, à partir de deux formules, forme une troisième formule ; cette troisième formule.

   L’autre connecteur s’appelle bi-implication et peut se paraphraser par « on n’a pas A sans B et on n’a pas B sans A ». On le note « <=> ».

Autour du mot

Même famille

bi-impliquer

Formes

Pluriel

bi-implications → équivalences…