Diferencia entre revisiones de «Valor de verdad»

Contenido eliminado Contenido añadido
m Revertidos los cambios de 186.101.49.42 (disc.) (HG)
Sin resumen de edición
Línea 1:
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 desingosdesignamos "cierto" y "falso" (y a veces representados por pares como (0,1) o (V,F), etc.). Sin embargo el [[lógica polivalente]] el conjunto de valores de verdad incluye otras posiblidadesposibilidades, 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.