Métodos para probar la validez de argumentos

Caterin Johana María Grajales Soto

Escuela de Ciencias de la Salud ECISA, Universidad Nacional Abierta y a Distancia

UNAD

200611_630: Pensamiento Lógico y Matemático

Tutor. Marlon Osorio Garcia

17 de febrero de 2021
Ejercicio 4. Unidad 1: problemas de aplicación

Expresión simbólica: {(p v q) ∧ (p → r) ∧(¬ r ∧ ¬q)} →(p∧r)

Premisas:
P1.: P v q
P2: p → r
P3: ¬ r ∧¬ q
Conclusión: p ∧ r

Proposiciones simples:

p: Caterin se matriculo al programa de tecnología en radiología e imágenes diagnosticas

q: Caterin pertenece a la escuela de ciencias de la salud.
r: Caterin estudia en la UNAD

Lenguaje natural:

Caterin se matriculo al programa de tecnología en radiología e imágenes diagnosticas o

Caterin pertenece a la escuela de ciencias de la salud. Si Caterin se matriculo al programa de
tecnología en radiología e imágenes diagnosticas entonces Caterin estudia en la UNAD. Caterin
no estudia en la UNAD y Caterin no pertenece a la escuela de ciencias de la salud. Por lo tanto,
Caterin se matriculo al programa de tecnología en radiología e imágenes diagnósticas y
Caterin estudia en la UNAD.
Tabla de la verdad manual

p q r ¬q ¬r Pv p→r (pvq) ∧(p→r) ¬r∧¬q {(p v q) ∧ (p→ r) (p∧r) {(pvq) ∧(p→r) ∧(¬r∧¬q)} →(p∧r)
q ∧(¬r∧¬q)}
V V V F F V V V F F V V
V V F F V V F F F F F V
V F V V F V V V F F V V
V F F V V V F F V F F V
F V V F F V V V F F F V
F V F F V V V V F F F V
F F V V F F V F F F F V
F F F V V F V F V F F V

Tabla de la verdad Simulador UNAD

Demostración de la valides del argumento mediante las leyes de inferencia:

P1. Pvq
P2. p→r
P3. ¬r∧¬q
_________________
p∧r

p4. ¬r simplificacion en p3
p5. ¬q simplificación en p3
p6. ¬p Tollendo Tolens p2 y p4
p7. p silogismo disyuntivo p1 y p5
p8. r modus ponendo ponens p2yp4 Esta mal aplicada esta ley
p9. p∧r conjunción p7y p8

El resultado de la tabla de la verdad es una tautologia, porque que se encuentran resultados

verdaderos en el conector principal.