Logica Y Bivalente

En la lógica bivalente una proposición sólo puede ser verdadera o falsa, no existen valores intermedios de verdad. Se sustenta en los tres principiosbásicos de la lógica clásica aristotélica: principio de identidad (A es verdad si y sólo si A es verdad); principio de no contradicción (A no puedeser A y no A al mismo tiempo); y principio de tercero excluido (A es verdadero o es falso, no hay una tercera posibilidad)


Una lógica bivalente esun sistema lógico que admite solo dos valores de verdad para sus enunciados (premisas y conclusión). En la lógica bivalente, una proposición solopuede 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 sustentaen tres principios básicos:
Principio de identidad: A es verdad si y solo si A es verdad. AA
Principio de no contradicción: A no puede ser A y no-Aal mismo tiempo. ¬(A ^ ¬A)
Principio de tercero excluido: A es verdadero o es falso, no hay una tercera posibilidad. A v ¬A
No admite tampoco maticesmodales en sus enunciados, tales como "es necesario que", "es imposible que", etc. Se limita al lenguaje enunciativo o declarativo.
Existen otrossistemas 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 oplurivalentes (como la lógica trivalente de Jan Łukasiewicz o la lógica trivalente de Kleene), aceptan un tercer valor, como "indeterminado" o "posible".