Valor de verdad
En
lógica, un valor de verdad es un valor que indica en qué medida una declaración
es verdad.
Por
ejemplo, el valor de verdad de la proposición «llueve y no llueve» es una
contradicción y siempre será falsa, con independencia del valor que
consideremos V o F de “llueve” (p) y de “no llueve” (¬p). La función de verdad
“no” se define mediante una tabla de verdad. Algebraicamente, el conjunto
{verdadero, falso}, o función lógica, 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.
