TABLAS DE VERDAD.

Las tablas de verdad nos ayudan a establecer el valor de verdad de diferentes razonamientos lgicos construidos a base de la combinacin de dos o ms enunciados nucleares. Los enunciados nucleares se identifican con las letras del alfabeto, usualmente las de la segunda mitad del alfabeto: p, q, r, s, t, etc. Puede usarse cualquier smbolo para identificar a los enunciados nucleares. La tabla de verdad ms simple es la que corresponde a los valores de verdad de un solo enunciado nuclear. P V F Cuando hay dos enunciados nucleares, p y q, las tablas de verdad para los cuatro conectivos bsicos (conjuncin, disyuncin, implicacin y doble implicacin), tienen cuatro niveles (2 elevado al nmero de enunciados). Se pretende en la tabla que se puedan establecer todas las combinaciones de valores de verdad asumidos por los enunciados nucleares. Los conectivos lgicos son Y (para la conjuncin), O (para la disyuncin inclusiva), SI ENTONCES (para la implicacin o condicional), SI Y SOLO SI (para la doble implicacin o bicondicional). Las tablas de verdad son las siguientes:
CONJUNCION DISYUNCION IMPLICACIN DOBLE IMPLICACION

P V V F F

Q V F V F

PYQ V F F f

P V V F F

Q V F V F

POQ V V V F

P V V F F

Q V F V F

P ENTONCES Q V F V V

P V V F F

Q V F V F

P SI Y SOLO SI Q V F F V

COMO ASEGURAR CERTEZA Y VALIDEZ EN LOGICA MATEMATICA.

En el estudio de Lgica, nos hemos ocupado de probar la validez de conclusiones dadas ciertas premisas. Si las premisas son afirmaciones ciertas, entonces las conclusiones que se siguen de ellas han de ser ciertas. Pueden presentarse otros casos de razonamientos del mismo tipo en los que las premisas sean ciertas, pero la conclusin sea falsa. Un caso aislado en el que premisas ciertas conduzcan a conclusiones ciertas no es suficiente para demostrar que una inferencia dada es vlida. Se puede decir que un razonamiento es vlido slo cuando se puede sostener la afirmacin indicando cada una de las reglas de inferencia empleadas para cada proposicin deducida. Y existen algunas reglas de inferencia que permiten sostener esta afirmacin de validez. Se presenta la cuestin: Es posible que existan inferencias proposicionales vlidas sin que las reglas dadas sean suficientes para apoyarlas?

COMO SE CONSTRUYE LA TABLA DE VERDAD.

FORMAS DE CONSTRUCCIN DE TABLAS DE VERDAD:

Paso 1: colocar las combinaciones de valores de verdad debajo de cada variable. La frmula del clculo es 2n (la n va arriba del 2) donde: * 2= representa los valores de certeza (V o F). * n = nmero de proposiciones atmicas. [(P ^ Q) ------> ( P)] v ( Q) Tenemos dos variables P y Q Entonces 2 al cuadrado = 4 PQ VV VF FV FF Paso 2: Transformar los valores de verdad tomando en cuenta la negacin (si los hay) Ejemplo: [(P ^ Q) -----> (P)] v ( Q) PQ FF FV VF VV Paso 3: Se calcula primero el calor de verdad de los parntesis tomando en cuenta las definiciones del conectivo lgico. Ejemplo: [(P ^ Q) ----> ( P)] v (Q) P^Q V F F F Paso 4: Se compara el resultado del valor de verdad del parntesis con el valor de verdad del corchete (si lo hay) Paso 5: Se compara el resultado de ese valor de verdad del corchete con el de las llaves (si lo hay) (P ^ Q)> (P) [(P ^ Q) ----> P] vQ FF VV VV VV Luego de haber cumplido con esta serie de pasos habremos obtenido un resultado en la columna final de nuestra tabla de verdad la cual podremos calificarla como una tautologa, contingencia o contradiccin. Tautologa= una proposicin molecular es una tautologa slo si el resultado de la columna final, independientemente de los valores de certeza de sus proposiciones atmicas que la componen, es siempre verdadero. Ejemplo P Q Q (P ^ Q) P> (Q) (P ^ Q) v (P>Q) VVFVFV VFVFVV FVFFVV FFVFVV Contingencia= una frmula proposicional es contingencia o indeterminacin, si y slo si, ella es verdadero o falso no importa cules sean los valores de verdad de sus componentes, ni en que proposicin. P Q (P>Q) (Q v P) (P> Q) ^ (Q v P) VVVVV VFFVF FVVVV FFVFF Contradiccin= una proposicin molecular es una contradiccin, si slo si ella es siempre falsa, no importa cules sean los valores de verdad de sus componentes.

EJEMPLOS:

LINKOGRAFIA. http://beto.stormpages.com/logic/logica1.htm http://dfisica.ugto.mx/~msabido/logica/cap3a.pdf http://mbini.wordpress.com/2011/06/20/metodologia-para-la-construccion-de-tablas-de-la-verdad/