Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.
Principio fundamental de la lógica clásica (la aristotélica y gran parte de la lógica moderna) según el cual todo enunciado, o toda fórmula, sólo pueden ser interpretados como «verdaderos» o «falsos». Dado que sólo admite dos valores de verdad, esta lógica recibe el nombre de bivalente,mientras que aquellas que admiten más de dos valores se denominan polivalentes; por ejemplo, las desarrolladas por el polaco Jan Lukasiewicz y el norteamericano E.L Post.
El principio de bivalencia no es sino una versión del principio del tercero excluso.