Apakah Bivalen dalam Matematik?

Dalam matematik, khususnya dalam konteks teori set dan logik, "bivalen" merujuk kepada sesuatu yang mempunyai dua nilai atau hasil yang mungkin.

Sebagai contoh, keputusan binari (ya/tidak, benar/salah) adalah dwivalen kerana ia hanya boleh mempunyai satu daripada dua nilai yang mungkin. Begitu juga, logik dua nilai adalah dwivalen kerana ia hanya boleh mempunyai dua nilai kebenaran yang mungkin (benar atau salah).

Sebaliknya, logik ternari (dengan tiga nilai kebenaran yang mungkin) adalah trivalen, dan logik bernilai n (dengan n > 2 kemungkinan nilai kebenaran) ialah n-valent.

Istilah "bivalen" berasal daripada perkataan Latin "bi," yang bermaksud "dua," dan "valens," yang bermaksud "kuat" atau "berkuasa." Ia pertama kali digunakan dalam konteks ini oleh ahli matematik Gottlob Frege pada akhir abad ke-19.