Tablas De Verdad

• Introducción

La tabla de verdad es una tabla que muestra el valor de verdad de una proposición

Compuesta, para cada combinación de valores de verdad que se pueda asignar a sus componentes.

Fue desarrollada por Charles Sanders Pierce 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. Es un método sencillo de analizar los valores de certeza de proposiciones, es el de poner todas las posibilidades de certeza o falsedad en forma de una tabla. Todas las reglas de certeza funcional que se utilizan para proposiciones moleculares pueden resumirse en forma de tabla. Las tablas básicas de certeza indican si una proposición molecular es cierta o falsa si se conocen los valores de certeza o falsedad de las proposiciones que la forman.

Notaremos con f el valor de verdad falso de una proposición, y con v el valor de verdad verdadero de una proposición. Fundamentalmente en las tablas de verdad se colocan los valores de verdad de enunciados simples, es decir aquellos que no han sido enlazados en fórmulas complejas por medio de conectivas lógicas.

En las tablas de verdad se pretende enlazar dichos enunciados simples, por medio de conectivas lógicas, para formar enunciados compuestos, y correlativamente decir cuál es el valor de verdad resultante de dichos enunciados, como una función de los valores de verdad posibles de los enunciados simples.

• Justificación:

Estas tablas pueden construirse haciendo una interpretación de los signos lógicos. 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 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.

...