Ejercicio 4: Problemas de aplicación

 Expresión simbólica:

[(𝑝 → 𝑞) ∧ (𝑝 ∨ 𝑟) ∧ (¬ r ∧ ¬𝑞)] → q
Premisas:

P1:(𝑝 → 𝑞)
P2: (𝑝 ∨ 𝑟)
P3:(¬ 𝑟 ∧ ¬𝑞)
Conclusión: q

 Proposiciones simples:

p: Angela estudia en la UNAD

q: Angela estudia de manera virtual
r: La UNAD es una universidad abierta y a distancia

 Lenguaje Natural:

Si Angela estudia en la UNAD entonces Angela estudia de manera virtual y

Angela estudia en la UNAD o la UNAD es una universidad abierta y a
distancia. No es cierto que la UNAD es una universidad abierta y a distancia y
Angela no estudia de manera virtual. Por lo tanto, Angela estudia de manera
virtual.

 Tabla de verdad manual:

𝑝 𝑞 𝑟 ¬ ¬ (𝑝→𝑞 (𝑝∨𝑟 (¬r∧¬𝑞) (𝑝 →𝑞)∧(𝑝∨𝑟) [(𝑝 → 𝑞) ∧ (𝑝 ∨ 𝑟) ∧ (¬ r ∧ [(𝑝→ 𝑞) ∧ (𝑝 ∨ 𝑟) ∧ (¬ r ∧ ¬𝑞)]→

𝑞 r ) ) ] ¬𝑞)] q
V V V F F V V F V F V
V V F F V V V F V F V
V F V V F F V F F F V
V F F V V F V V F F V
F V V F F V V F V F V
F V F F V V F F F F V
F F V V F F V F V F V
F F F V V F F V F F V

 Se clasifica como:
 TAUTOLOGIA

 Tabla de verdad Simulador UNAD:

 Demostración de la validez del argumento mediante las Leyes de Inferencia:

P1:(𝑝 → 𝑞)
P2: (𝑝 ∨ 𝑟)
P3:(¬ 𝑟 ∧ ¬𝑞)
Conclusión: q

P4: ¬ 𝑟…Simplificación P3
P5: ¬𝑞 …Simplificación P3
P6: 𝑝 …..Modus Tollendo Ponens entre P2 y P4
P7: 𝑞 ……Modus Ponendo Ponens entre P1 y P6