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

P	 P
1	0
0	1

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

P	Q	P
1	1	1
1	0	1
0	1	1
0	0	0

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

P	Q	P
1	1	1
1	0	0
0	1	0
0	0	0