Ejercicio 4: Problemas de aplicación

Para el desarrollo de este ejercicio, es necesario que el estudiante revise en el Entorno de

Conocimiento (Unidad 2), las siguientes referencias:
• Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de grafos.
Córdoba, AR:El Cid Editor. (pp. 40-49)
• Gutiérrez, W. (2016). Validez de un argumento. [Archivo de video]
Una vez realizada la lectura, desarrolle la tarea propuesta.
Descripción del ejercicio: A continuación, encontrará la expresión simbólica, las premisas
y la conclusión de un argumento para el desarrollo del ejercicio 4:
e. Expresión simbólica:
[(𝑝 ∨ 𝑞) ∧ (𝑞 ⟶∼ 𝑟) ∧ (∼ 𝑟 ⟶ 𝑠) ∧ (∼ 𝑝) ∧ (𝑠 ⟶ 𝑟)] ⟶ (𝑟)
Premisas:
P1: 𝑝 ∨ 𝑞
P2: 𝑞 ⟶∼ 𝑟
P3: ¬𝑟 → 𝑠
P4: ∼ 𝑝
P5: 𝑠 ⟶ 𝑟
Conclusión: r
• Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural. Las
proposiciones simples deben ser de autoría de cada estudiante, por lo que de encontrar
proposiciones iguales entre estudiantes se considerara como copia y se tomaran las medidas
correctivas estipuladas por la UNAD.
P: estudio a distancia
Q: estudio presencial
R: estudio ingeniería de sistemas
S: trabajo y me preparo
Estudio a distancia o estudio presencial, si estudio presencial entonces no estudio ingeniería
de sistemas. Si no estudio ingeniería de sistemas entonces trabajo y me preparo Si no
estudio a distancia, entonces trabajo y me preparo, entonces estudio ingeniería de sistemas.
• Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico (El estudiante encontrará la Guía para el uso de recursos educativos Simulador
Lógica UNAD, en el Entorno de Aprendizaje Práctico, así como el link de acceso al
recurso)
• Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,
Excel o foto del desarrollo manual).

El resultado de la tabla me da una tautología

 Demostración de la validez del argumento mediante las leyes de la inferencia lógica
[(𝑝 ∨ 𝑞) ∧ (𝑞 ⟶∼ 𝑟) ∧ (∼ 𝑟 ⟶ 𝑠) ∧ (∼ 𝑝) ∧ (𝑠 ⟶ 𝑟)] ⟶ (𝑟)
Premisas:
P1: 𝑝 ∨ 𝑞
P2: 𝑞 ⟶∼ 𝑟
P3: ¬𝑟 → 𝑠
P4: ∼ 𝑝
P5: 𝑠 ⟶ 𝑟
P6:r MPP en 6
Conclusión: r