Metodologia Tablas De La Verdad
Éstas tablas básicas de verdad indican rápidamente si una proposición molecular es cierta o falsa, si se conoce la veracidad o falsedadde las proposicionesatómicas que la componen.
FORMAS DE CONSTRUCCIÓN DE TABLAS DE VERDAD:
Paso 1: colocar las combinaciones de valores de verdad debajo de cada variable.
La fórmula del calculo es 2n (la n va arriba del 2)donde: * 2= representa los valores de certeza ( V o F).
* n = número de proposiciones atómicas.
[ ( P ^ Q) ------> (¬ P)] v ( ¬ Q)
Tenemos dos variables P y Q
Entonces 2 al cuadrado = 4
P Q
V VV F
F V
F F
Paso 2: Transformar los valores de verdad tomando en cuenta la negación (si los hay)
Ejemplo: [ ( P ^ Q)-----> (¬P)] v (¬ Q)
¬ P ¬ Q
F F
F V
V F
V V
Paso 3: Se calulaprimero el calor de verdad de los paréntesis tomando en cuenta las definiciones del conectivo lógico.
Ejemplo: [( P ^ Q)----> (¬ P)] v (¬Q)
P ^ Q
V
F
F
F
Paso 4: Se compara el resultado del valorde verdad del paréntesis 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] v¬Q
F F
V V
V V
V V
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 comouna teutologia, contingencia o contreadicción.
Tautologia= una proposición molecular es una tautologia sólo si el resultado de la columna final, independientemente de los valores de certeza de susproposiciones atómicas que la componen, es siempre verdadero.
Ejemplo
P Q ¬Q (P ^ Q) P—> (¬Q) (P ^ Q) v (P—>Q)
V V F V F V
V F V F V V
F V F F V V
F F V F V V
Contingencia= una fórmula...
Regístrate para leer el documento completo.