Hva er bivalent i matematikk?
I matematikk, spesielt i sammenheng med settteori og logikk, refererer "bivalent" til noe som har to mulige verdier eller utfall.
For eksempel er en bin
r avgjørelse (ja/nei, sant/usant) bivalent fordi den bare kan ha en av to mulige verdier. Tilsvarende er en to-verdislogikk bivalent fordi den bare kan ha to mulige sannhetsverdier (sann eller usann).
I kontrast er en tern
r logikk (med tre mulige sannhetsverdier) trivalent, og en n-verdi logikk (med n > 2 mulige sannhetsverdier) er n-valent.
Uttrykket «bivalent» er avledet fra de latinske ordene «bi» som betyr «to» og «valens», som betyr «sterk» eller «kraftig». Den ble først brukt i denne sammenhengen av matematikeren Gottlob Frege på slutten av 1800-tallet.



