Como se resuelve una tabla de la verdad?

Una

vez que hemos simbolizado un razonamiento ; es decir, que hemos

traducido el lenguaje natural al lenguaje formal, debemos comprobar si

dicho razonamiento es válido o no.

Para ello podemos servirnos de las

tablas de verdad y de las deducciones lógicas.

Ahora vamos a ocuparnos de las tablas de verdad.

Primero : Partes de que cada variable proposicional puede ser verdadera o falsa.

V o F

Segundo :

Cuando

tenemos más de una variable, las combinaciones de valores de verdad

serán varias.

Para saber cuántas combinaciones de valores de verdad

podemos obtener, elevamos 2 al número de variables distintas que

aparezcan.

Colocamos dichos valores repartíéndolos por la mitad en la

primera variable, por la mitad de esta en la siguiente, etc.

[ ( p - - > q) ^ ¬ q] - - > ¬ p V V V F F V F F

3)

Resolvemos las tablas de verdad de las fórmulas no afectadas por el

conector dominante.

Se llama conector dominante al que separa las

premisas de la conclusión.

( El negador cambia el valor de verdad de la variable o fórmula a la que afecta.

) [ ( p - - > q) ^ ¬ q] - - > ¬ p V V F F V F V F F V F V F F V V

Una vez resuelto el paréntesis, hago la tabla de verdad de la fórmula que está entre corchetes.

[ ( p - - > q) ^ ¬ q] - - > ¬ p V V V F F F V F F F V F F V V F F V F V F V V V

Resuelves la tabla de verdad de la fórmula afectada por el conector dominante.

[ ( p - - > q) ^ ¬ q] - - > ¬ p V V V F F V F V F F F V V F F V V F F V V F V F V V V V

Suerte!

: 3.