Está en la página 1de 3

ACTIVIDAD 2 – METODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS

UNIDAD 2: TALLER – METODOS PARA PROBAR LA VALIDEZ


DE ARGUMENTOS

CRHISTIAN SEPULVEDA GRANADA


CODIGO CURSO: 90004A_474

TUTOR
JUAN CAMILO RAMIREZ

UNIVERCIDAD NACIONAL ABIERTA Y A DISTANCIA


UNAD
2018
Ejercicio 4: Problemas de aplicación

B. Expresión simbólica:
[(¬𝒑 → 𝒒)𝑽(𝒒 → ¬𝒓)𝑽(¬𝒓 → 𝒔)𝑽(¬𝒑)𝑽(¬𝒔 → 𝒓)] → 𝒓

Premisas:
P1: ¬𝒑 → 𝒒
P2: 𝒒 → ¬𝒓
P3: ¬𝒓 → 𝒔
P4: ¬𝒑
P5: ¬𝒔 → 𝒓

Conclusión: 𝒓

DESARROLLO:
Si Carlos no se va de paseo entonces Lina se va de paseo y si Lina se
va de paseo entonces su mama no se va de paseo y si su mama no se
va de paseo entonces Martha se va de paseo y entonces Carlos no se
va de paseo y si no va Martha va la mama entonces va la mama.