Qu’est-ce que bivalent en mathématiques ?

En mathématiques, en particulier dans le contexte de la théorie des ensembles et de la logique, « bivalent » fait référence à quelque chose qui a deux valeurs ou résultats possibles.

Par exemple, une décision binaire (oui/non, vrai/faux) est bivalente car elle ne peut avoir qu'une seule décision. de deux valeurs possibles. De même, une logique à deux valeurs est bivalente car elle ne peut avoir que deux valeurs de vérité possibles (vrai ou faux).

En revanche, une logique ternaire (avec trois valeurs de vérité possibles) est trivalente, et une logique à n valeurs (avec n > 2 valeurs de vérité possibles) est n-valent.

Le terme « bivalent » est dérivé des mots latins « bi », signifiant « deux », et « valens », signifiant « fort » ou « puissant ». Il a été utilisé pour la première fois dans ce contexte par le mathématicien Gottlob Frege à la fin du XIXe siècle.