TABLA DE VERDAD

TABLA 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 valores de verdad que se pueda asignar a sus componentes.

Fue desarrollada por Charles Sanders Peirce por los años 1880, pero el formato más popular es el
 que introdujo Ludwig Wittgensteinen su Tractatus logico-philosophicus, publicado en 1921

Las tablas nos manifiestan los posibles valores de verdad de cualquier proposición molecular, así como 
el análisis de la misma en función de las proposicíones que la integran, encontrándonos con los siguientes 
casos:

[editar]

Verdad Indeterminada o Contingencia

Se entiende por verdad contingente, o verdad de hecho, aquella proposición que puede ser verdadera o falsa,
 según los valores de las proposiciones que la integran. Sea el caso: .

Su tabla de verdad se construye de la siguiente manera:

Ocho filas que responden a los casos posibles que pueden darse según el valor Vo F de cada una de 
las proposiciones A, B, C. (Columnas 1, 2, 3)

Una columna (Columna 4) en la que se establecen los valores de  aplicando la definición del disyuntor 
a los valores de B y de C en cada una de las filas.(Columnas 2,3 → 4)

Una columna (columna 5) en la que se establecen los valores resultantes de aplicar la definición de la conjunción
 entre los valores de A (columna 1) y valores de la columna , (columna 4) que representarán los valores
 de la proposición completa , cuyo valor de verdad es V o F según la fila de los valores
 de A, B, y C que consideremos. (Columnas 1,4 → 5)