I logik , at princippet om bivalens , at enhver proposition P kan kun have én og kun én af de to værdier af sandhed : sand eller falsk. En logik, der respekterer princippet om bivalens, kaldes bivalent logik. Den klassiske logik er toværdig.
Bivalens er en egenskab, som en logisk teori måske eller måske ikke har. Det princip om udelukkede tredje må holdes adskilt fra princippet om bivalens, kan en logisk teori respektere princippet om den udelukkede tredje uden at være bivalent.
I virkeligheden er princippet om bivalens meget stærkere, fordi det siger tre ting, som er bedre forstået, hvis de er angivet i matematiske termer:
Sandhedsværdien af en proposition er resultatet af en anvendelse (derfor nødvendigvis entydig ) af sæt af propositioner i et billedsæt af kardinalitet 2.
Det er ret beklageligt, at dette princip ikke holder fast ved denne sidste egenskab. Dette er mere en filosofisk overvejelse; princippet er næppe formuleret i matematisk logik, og dets formalisering kan svinge i henhold til den logiske tilgang, man følger. Bivalensprincippet studeres derfor i filosofisk logik for at besvare problemet med at vide, hvilke påstande der har en veldefineret sandhedsværdi. Især propositioner vedrørende fremtidige begivenheder eller propositioner åbne for fortolkning udgør vanskeligheder for filosoffer, der støtter princippet om bivalens. Den alsidige logik blev opfundet, herunder indrømmelse af muligheden for ubestemt proposition, som er ubestemt tid ( tidsmæssig logik ), Quantum ( kvantelogik ) eller på grund af forslagets uklarhed ( fuzzy ).