toda fbf, (oraci贸n, enunciado, proposici贸n), es o verdadera o falsa. (Haack, 1978).
La l贸gica cl谩sica es un 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 solo 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:
Principio de identidad: es verdad que A es id茅ntico a A (a s铆 mismo). A = A
Principio de no contradicci贸n: A no puede ser A y no-A al mismo tiempo. ¬ (A ∧ ¬A)
Principio del tercero excluido: A es verdadero o es falso, no hay una tercera posibilidad. A v ¬A
No admite tampoco matices modales en sus enunciados, tales como "es necesario que", "es imposible que", etc. Se limita al lenguaje enunciativo o declarativo.
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 Jan 艁ukasiewicz o la l贸gica trivalente de Stephen Kleene), aceptan un tercer valor, como "indeterminado" o "posible".
(Wikipedia)