Mi a bivalens a matematikában?

A matematikában, különösen a halmazelmélet és -logika kontextusában, a „bivalens” olyan dologra utal, amelynek két lehetséges értéke vagy kimenetele van.

Például egy bináris döntés (igen/nem, igaz/hamis) bivalens, mert csak egy lehet. két lehetséges érték közül. Hasonlóképpen egy kétértékű logika bivalens, mert csak két lehetséges igazságértéke lehet (igaz vagy hamis).

Ezzel szemben a hármas logika (három lehetséges igazságértékkel) háromértékű, és egy n értékű logika (n > 2 lehetséges igazságérték) n-értékű.

A „kétértékű” kifejezés a latin „bi” szavakból származik, amelyek jelentése „kettő”, és a „valens”, azaz „erős” vagy „erős”. Ebben az összefüggésben először Gottlob Frege matematikus használta a 19. század végén.