Lógica bivalente

De Freepedia, la enciclopedia libre.

Un sistema de lógica bivalente admite sólo dos valores de verdad para sus enunciados (premisas y conclusión). Es decir, en lógica bivalente, un enunciado ha de ser verdadero o falso y no puede ser verdadero y falso a la vez. Por el contrario, los sistemas de lógica plurivalentes (como la lógica trivalente de Lukasiewicz o la lógica trivalente de Kleene), aceptan un tercer valor, como "indeterminado" o "posible".

La lógica bivalente es la lógica clásica, cuyo fundamento es la ley del tercero excluído (p v -p).