En lógica, un valor de verdad es un valor que indica en qué medida una declaración es verdad. En lógica clásica bivalente los valores de verdad sólo son dos, usualmente designamos verdadero y falso (y a veces representados por pares como (1,0) o (V,F), etc.). Sin embargo la lógica polivalente el conjunto de valores de verdad incluye otras posibilidades, e incluso en lógica modal la descripción del valor de verdad requiere la noción más compleja de mundos posibles. En lógica difusa por ejemplo el valor de verdad es cualquier número real en el intervalo cerrado [0,1]. El conjunto de valores de verdad de un determinado tipo de lógica es el rango de una interpretación lógica sobre el conjunto de todas las proposiciones posibles.

Leer el artículo completo en Wikipedia · CC-BY-SA

In logic and mathematics, a truth value, sometimes called a logical value, is a value indicating the relation of a proposition to truth.

Leer el artículo completo en Wikipedia · CC-BY-SA