Tablas De Verdad

TABLAS DE VERDAD Una tabla de verdad, o tabla devalores 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 porCharles 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.
Estas tablas pueden construirsehaciendo 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 tienendentro 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 dedecisión para chequear si una proposición es o no un teorema.
P | Ø P |
1 | 0 |
0 | 1 |
Para la construcción de la tabla se asignará el valor 1(uno) a una proposición cierta y 0 (cero) a unaproposición falsa.
Negación: El valor de verdad de la negación es el contrario de la proposición negada.
P | Q | P Ú Q |
1 | 1 | 1 |
1 | 0 | 1 |
0 | 1 | 1 |
0 | 0 | 0 |

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

 
P | Q | P Ù Q |
1 | 1 | 1 |
1 | 0 | 0 |
0 | 1 | 0 |
0 | 0 | 0 |

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

 
P | Q | P® Q |
1 | 1 | 1 |
1 | 0 | 0 |
0 | 1 | 1 |
0 | 0 | 1 |
Condicional: El condicional solamente es falso cuando el antecedente es verdadero y elconsecuente es falso. De la verdad no se puede seguir la falsedad.
P | Q | P« Q |
1 | 1 | 1 |
1 | 0 | 0 |
0 | 1 | 0 |
0 | 0 | 1 |

 
Bicondicional: El bicondicional solamente es cierto si...