Ejercicio 2: Métodos para probar la validez de un argumento

a. Expresión simbólica: { [ ( p → q ) ∨r ] ∧ ( r →∼ p ) ∧ ( p ∧ s ) }⟶ ( q ∧ s )

Premisas:
P1: ( p →q ) ∨ r
P2: r →∼ p
P3: p ∧ s

Conclusión: q ∧ s

 Definir las proposiciones simples

p: llego temprano a clases
q: presento el examen
r: pierdo la materia
s: obtengo buena calificación

 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje

natural.

Si llego temprano a clases entonces presento el examen o pierdo la materia, si pierdo la materia
entonces no llego temprano a clases, llego temprano a clases y obtengo buena calificación. Por lo
tanto, presento el examen y obtengo buena calificación.

 Generar una tabla de verdad con el simulador Lógica UNAD a partir del
lenguaje simbólico
 Generar una tabla de verdad manualmente a partir del lenguaje simbólico

p q r s p → q ∨ r ^ r → ¬p ^ p ^ s → q ^ s
V V V V V V V V V F V F F F V V V V V V V
V V V F V V V V V F V F F F V F F V V F F
V V F V V V V F F F F V F F V V V V V V V
V V F F V V V F F F F V F F V F F V V F F
V F V V V F F F V F V F F F V V V V F F V
V F V F V F F F V F V F F F V F F V F F F
V F F V V F F F F F F V F F V V V V F F V
V F F F V F F F F F F V F F V F F V F F F
 F V V V F V V V V V V V V F F F V V V V V
F V V F F V V V V V V V V F F F F V V F F
F V F V F V V F F F F V V F F F V V V V V
F V F F F V V F F F F V V F F F F V V F F
F F V V F V F V V V V V V F F F V V F F V
F F V F F V F V V V V V V F F F F V F F F
F F F V F V F F F F F V V F F F V V F F V
F F F F f V F F F F F V V F F F F V F F F

 Demostración de la validez del argumento mediante las leyes de la inferencia

lógica
 P1: (p→q)∨r
 P2: r→¬p
 P3: p^s
 4: p S3
 5: ¬r MTT 2, 4
 6: (p→q) MTP 1, 5
 7: q MPP 4, 6
 8: s S3
 9: q^s A 7, 8
Argumento valido