EJERCICIO 3 UNIDAD 3

A continuación, encontrará la expresión simbólica, las premisas y la conclusión de un argumento para el desarrollo del
ejercicio 3:
c. Expresión simbólica: [(𝑝 → ¬𝑟) ∧ (𝑞 → 𝑝) ∧ (𝑟 ∧ 𝑞)] → (𝑟 ∨ 𝑞)
Premisas
P1: (𝑝 → ¬𝑟)
P2: (𝑞 → 𝑝)
P3: (𝑟 ∧ 𝑞)
Conclusión: (𝑟 ∨ 𝑞)
A partir de la expresión simbólica seleccionada, el estudiante deberá: Definir las proposiciones simples, tendrá la libertad
de definirla bajo una descripción basada en un contexto, el que se solicita es un contexto académico.
p: Héctor espera graduarse en 4 años.
q: Estudia ingeniería industrial en la UNAD
r: Trabaja todos los días.

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.
[(𝑝 → ¬𝑟) ∧ (𝑞 → 𝑝) ∧ (𝑟 ∧ 𝑞)] → (𝑟 ∨ 𝑞)
Héctor espera graduarse en 4 años entonces no trabaja todos los días y estudia ingeniería industrial en la UNAD entonces
Héctor espera graduarse en 4 años y trabaja todos los días y estudia ingeniería industrial en la UNAD. Entonces Trabaja
todos los días o Estudia ingeniería industrial en la UNAD.
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).
p q r ¬𝑟 𝑝 → ¬𝑟 𝑞→𝑝 𝑟∧𝑞 [(𝑝 → ¬𝑟) ∧ [(𝑝 → ¬𝑟) ∧ (𝑞 (𝑟 ∨ 𝑞) [(𝑝 → ¬𝑟) ∧ (𝑞 → 𝑝)
(𝑞 → 𝑝) → 𝑝) ∧ (𝑟 ∧ 𝑞)] ∧ (𝑟 ∧ 𝑞)] → (𝑟 ∨ 𝑞)
V V V F F V V F F V V
V V F V V V F V F V V
V F V F F F V F F V V
V F F V V F F F F F V
F V V F V V F V F V V
F V F V V V F V F V V
F F V F V V F V F V V
F F F V V V F V F F V

Tautología.
Demostración de la validez del argumento mediante las leyes de la inferencia lógica.
Premisas
P1: (𝑝 → ¬𝑟)
P2: (𝑞 → 𝑝)
P3: (𝑟 ∧ 𝑞)
Conclusión: (𝑟 ∨ 𝑞)
P4: r aplicando simplificación en P3
P5 q aplicando simplificación en P3
P6: 𝑟 ∨ 𝑞 aplicando (LA) a P3