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 ↓)

El valor de verdad del enunciado

[math][(p \rightarrow{q}) \rightarrow{q}] \rightarrow{p}[/math]

se decide mediante la siguiente tabla de verdad:

E1666-1.gif
y

(ver ejemplo 2 ↓)

Las tablas de verdad lógicas ponen de manifiesto cómo las conectivas son símbolos veritativo-funcionales, o símbolos que designan una función veritativa entre un enunciado compuesto y los valores de verdad:

Así, para el enunciado:

[math]p \rightarrow{q} (p \vee q)[/math]

la tabla de verdad es

E1658-2.gif

Otras lógicas admiten más de dos valores; por ejemplo, la lógica trivalente de Lukasiewicz, que admite verdadero, falso e indeterminado.

y

(ver ejemplo ↓)

3701.png