Como se resuelve una tabla de la verdad?
Como se resuelve una tabla de la verdad.
Como se resuelve una tabla de la verdad.
Pregunta de Matemáticas · 1 respuesta · 3 votos · mejor respuesta de Anime009
En resumen
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.
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.
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.