Un sistema de lógica bivalente es aquel que admite sólo dos valores de verdad para sus enunciados (premisas y conclusión). En la lógica bivalente, una proposición sólo puede ser verdadera o falsa, no existen valores intermedios de verdad. El clásico sistema de lógica bivalente es la lógica aristotélica que se sustenta en tres principios básicos:

1. Principio de identidad: A es verdad si y sólo si A es verdad. A<=>A
2. Principio de no contradicción: A no puede ser A y no-A al mismo tiempo. -(A.-A)
3. Principio de tercero excluido: A es verdadero o es falso, no hay una tercera posibilidad. Aw-A

Existen otros sistemas de lógicas que no se sustentan en estos principios y por lo tanto admiten más de dos valores de verdad. Los sistemas de lógica modales o plurivalentes (como la lógica trivalente de Lukasiewicz o la lógica trivalente de Kleene), aceptan un tercer valor, como "indeterminado" o "posible".

Lógica | Informática

Prinzip der Zweiwertigkeit | Principle of bivalence | Principe de bivalence | Tvígildislögmálið | Principio di bivalenza | Двоичная логика | Bivalent logik | 二值原理