Valor de verdad

En lógica clásica bivalente los valores de verdad solo son dos, usualmente designamos verdadero y falso (y a veces representados por pares como (1,0) o (V,F), etc.).En lógica difusa el valor de verdad es cualquier número real en el intervalo cerrado [0,1].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.Esta nomenclatura está quizás más de acuerdo con los usos que prevalecen en matemáticas que con los de la filosofía.