Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.
¿Qué es?
No se ha añadido ninguna twiki todavía.
También llamados «valores veritativos»: la doble posibilidad del enunciado de ser verdadero o falso. El enunciado verdadero tiene el valor de verdad, y el enunciado falso el valor de falsedad. La lógica tradicional, que se funda en el principio de bivalencia, admite sólo estos dos valores. También el valor de verdad o falsedad que recibe una fórmula lógica al recibir una interpretación.
La lógica de enunciados se llama veritativo-funcional porque el valor de verdad de sus enunciados depende de las conectivas definidas como una función de verdad; estas funciones se definen mediante tablas de verdad (ver ejemplo 1 y ejemplo 2).
Otras lógicas admiten más de dos valores; por ejemplo, la lógica trivalente de Lukasiewicz, que admite verdadero, falso e indeterminado (ver ejemplo).
Ver enunciado veritativo-funcional.