Tablas de verdad

Una tabla de verdad, o tabla de valores de verdad, es una tabla que muestra el valor de verdad de una proposición compuesta, para cada combinación de verdad que se pueda asignar.1
Fuedesarrollada por Charles Sanders Peirce por los años 1880, pero el formato más popular es el que introdujo Ludwig Wittgenstein en su Tractatus logico-philosophicus, publicado en 1921.
Estastablas 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 queestas 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 tablasde verdad constituyen un método de decisión para 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.

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

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

Condicional: El condicional solamente es falso cuando el antecedente es verdaderoy el consecuente es falso. De la verdad no se puede seguir la falsedad.

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

Lastablas de verdad arrojan tres resultados posibles: la tautología que consiste en la verdad en todos los casos del conectivo principal; la contingencia, que consiste en la combinación de verdad yfalsedad en el resultado; la contradicción, consiste en la falsedad de todos los casos del resultado absoluto.
La tautología es el único resultado que nos indica validez de un argumento.