Vad är bivalent i matematik?

Inom matematiken, särskilt i samband med mängdteori och logik, hänvisar "bivalent" till något som har två möjliga värden eller utfall.

Till exempel är ett binärt beslut (ja/nej, sant/falskt) bivalent eftersom det bara kan ha ett av två möjliga värden. På liknande sätt är en tvåvärdig logik bivalent eftersom den bara kan ha två möjliga sanningsvärden (sant eller falskt).

I kontrast är en ternär logik (med tre möjliga sanningsvärden) trivalent och en n-värdig logik (med n > 2 möjliga sanningsvärden) är n-valent.

Uttrycket "bivalent" kommer från de latinska orden "bi", som betyder "två" och "valens", som betyder "stark" eller "kraftig". Den användes först i detta sammanhang av matematikern Gottlob Frege i slutet av 1800-talet.