¿Cuales son las tablas de verdad?

Estas tablas pueden construirse haciendo una interpretación de los signos lógicos, Ø, Ù, Ú, ®, «, como : no, o, y, si…entonces, sí y sólo si, respectivamente.

La interpretación corresponde al sentido que estas operaciones tienen dentro del razonamiento.

Puede establecerse una correspondencia entre los resultados de estas tablas y la deducción lógico matemática.

En consecuencia, las tablas de verdad constituyen unmétodo de decisiónpara chequear si una proposición es o no un teorema.

Para la construcción de la tabla se asignará el valor 1(uno) a una proposición cierta y 0 (cero) a una proposición falsa.

Negación : El valor de verdad de la negación es el contrario de la proposición negada.

PØP1001

Disyunción : La disyunción solamente es falsa si lo son sus dos componentes.

PQPÚQ111101011000

Conjunción : Solamente si las componentes de la conjunción son ciertas, la conjunción es cierta.

PQPÙQ111100010000

Condicional : El condicional solamente es falso cuando el antecedente es verdadero y el consecuente es falso.

De la verdad no se puede seguir la falsedad.

PQP®Q111100011001

Bicondicional : El bicondicional solamente es cierto si sus componentes tienen el mismo valor de verdad.

PQP«Q111100010001

Se denominatautologíauna proposición que es cierta para cualquier valor de verdad de sus componentes.

Por tanto, laúltima columnade su tabla de verdad estará formada únicamente por unos.

Contradicciónes la negación de una tautología, luego es una proposición falsa cualesquiera sea el valor de verdad de sus componentes.

Laúltima columnade la tabla de verdad de una contradicción estará formada únicamente por ceros.