Lógica bivalente

Keywords: Lógica bivalente, Enunciado, Wikipedia, Ley del tercero excluído

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 contra, 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).

WikiLetra

Este artículo es, por ahora, sólo un esbozo. Ampliándolo ayudarás a mejorar Wikipedia. Puedes encontrar fuentes en las wikipedias en otras lenguas. Si lo amplias hasta el punto de que este cartel no sea necesario por favor, elimínalo.