Diferencia entre revisiones de «Valor de verdad»

En [[lógica]], un '''valor de verdad''' es un valor que indica en qué medida una declaración es [[verdad]]. En [[Lógica bivalente|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 [[Mundo posible|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 [[conjunto imagen|rango]] de una interpretación lógica sobre el conjunto de todas las proposiciones posibles.