Mikä on bivalentti matematiikassa?

Matematiikassa, erityisesti joukkoteorian ja logiikan yhteydessä, "kaksiarvoinen" viittaa johonkin, jolla on kaksi mahdollista arvoa tai lopputulosta.

Esimerkiksi binääripäätös (kyllä/ei, tosi/epätosi) on bivalentti, koska sillä voi olla vain yksi kahdesta mahdollisesta arvosta. Vastaavasti kaksiarvoinen logiikka on bivalenttinen, koska sillä voi olla vain kaksi mahdollista totuusarvoa (tosi tai epätosi).

Sitä vastoin kolmiarvoinen logiikka (kolme mahdollista totuusarvoa) on kolmiarvoinen ja n-arvoinen logiikka (jossa n > 2 mahdollista totuusarvoa) on n-valenttinen.

Termi "kaksiarvoinen" on johdettu latinan sanoista "bi", joka tarkoittaa "kaksi" ja "valens", joka tarkoittaa "vahvaa" tai "voimakas". Matemaatikko Gottlob Frege käytti sitä ensimmäisen kerran tässä yhteydessä 1800-luvun lopulla.