Respuestas
Respuesta dada por:
2
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
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
Preguntas similares
hace 6 años
hace 6 años
hace 6 años
hace 9 años
hace 9 años
hace 9 años
hace 9 años
hace 9 años