El hecho de ser verdadera o falsa una proposición. La lógica que estudiamos en Aprende Lógica solamente admite estos dos valores de verdad. La exclusión de la posibilidad de que una proposición no pueda ser ni verdadera ni falsa queda reflejada en el principio del 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)
