Valor de verdad
De Wikipedia, la enciclopedia libre
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, los únicos valores de verdad posibles son verdad y falsedad. Sin embargo, otros valores son posibles en otras lógicas. Una lógica intuicionista simple tiene valores de verdad, falsedad y desconocido; mientras que la lógica difusa y otras formas de lógica multi-valuada también utilizan más valores de verdad que simplemente verdadero y falso.
Algebraicamente, el conjunto {verdadero, falso} forma un álgebra booleana simple (subdirectamente irreducible). Otras álgebras booleanas se pueden utilizar como conjuntos de valores de verdad en lógicas multi-valuadas, mientras que la lógica intuicionista generaliza las álgebras booleanas a álgebras de Heyting.
En la teoría de los topos, el clasificador de subobjetos de los topos toma el lugar del conjunto de valores de verdad.
Esta nomenclatura está quizás más de acuerdo con los usos que prevalecen en matemáticas que con los de la filosofía.
