Cos'è il bivalente in matematica?

In matematica, in particolare nel contesto della teoria degli insiemi e della logica, "bivalente" si riferisce a qualcosa che ha due possibili valori o risultati.

Ad esempio, una decisione binaria (sì/no, vero/falso) è bivalente perché può averne solo uno. di due possibili valori. Allo stesso modo, una logica a due valori è bivalente perché può avere solo due possibili valori di verità (vero o falso).

Al contrario, una logica ternaria (con tre possibili valori di verità) è trivalente e una logica a valori n (con n > 2 possibili valori di verità) è n-valente.

Il termine "bivalente" deriva dalle parole latine "bi", che significa "due", e "valens", che significa "forte" o "potente". Fu utilizzato per la prima volta in questo contesto dal matematico Gottlob Frege alla fine del XIX secolo.