¿Qué es bivalente en matemáticas?

En matemáticas, particularmente en el contexto de la teoría de conjuntos y la lógica, "bivalente" se refiere a algo que tiene dos valores o resultados posibles. Por ejemplo, una decisión binaria (sí/no, verdadero/falso) es bivalente porque sólo puede tener uno. de dos valores posibles. De manera similar, una lógica de dos valores es bivalente porque sólo puede tener dos valores de verdad posibles (verdadero o falso). Por el contrario, una lógica ternaria (con tres valores de verdad posibles) es trivalente, y una lógica de n valores (con n > 2 posibles valores de verdad) es n-valente.

El término "bivalente" se deriva de las palabras latinas "bi", que significa "dos" y "valens", que significa "fuerte" o "poderoso". Fue utilizado por primera vez en este contexto por el matemático Gottlob Frege a finales del siglo XIX.