Valor de verdad

El hecho de ser verdadera o falsa una proposición. La lógica que estudiamos solamente admite estos dos valores de verdad. La exclusión de la posibilidad de que una proosición no pueda ser ni verdadera ni falsa queda reflejada en el principio de tercio excluso (o principio de bivalencia) Las lógicas que no admiten el principio de tercio excluso son las lógicas poliádicas o multivariadas. Así, por ejemplo Lukasiewicz y Tarski han formulado luna lógica de tres valores (trivalente) en la que se admiten tres valores de verdad: verdadero, falso, y posible).

(Véase falso, verdad, principio de tertio excluso).