Valor de verdad

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.