O que é bivalente em matemática?

Em matemática, particularmente no contexto da teoria dos conjuntos e da lógica, "bivalente" refere-se a algo que tem dois valores ou resultados possíveis.

Por exemplo, uma decisão binária (sim/não, verdadeiro/falso) é bivalente porque só pode ter um de dois valores possíveis. Da mesma forma, uma lógica de dois valores é bivalente porque só pode ter dois valores verdade possíveis (verdadeiro ou falso).

Em contraste, uma lógica ternária (com três valores verdade possíveis) é trivalente, e uma lógica com valor n (com n> 2 valores de verdade possíveis) é n-valente.

O termo "bivalente" é derivado das palavras latinas "bi", que significa "dois", e "valens", que significa "forte" ou "poderoso". Foi usado pela primeira vez neste contexto pelo matemático Gottlob Frege no final do século XIX.