Ejercicio 4: Problemas de aplicación

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:

B.
Expresión simbólica:

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

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

Proposiciones simples:

p. Juan estudia mucho en clases

q. Juan se graduará como profesional
r. Juan ganara mucho dinero.

Lenguaje Natural

Si Juan estudia mucho en clases entonces Juan se graduará como profesional.

Juan estudia mucho en clases o Juan ganara mucho dinero. Juan no ganará
mucho dinero y Juan no se graduará como profesional. Por lo tanto, Juan se
graduará como profesional
 Tabla de la verdad Manual.
(¬ r Ʌ ¬ (p → q) Ʌ [(p → q) Ʌ (pVr) Ʌ (¬ r Ʌ ¬ [(p → q) Ʌ (pVr) Ʌ (¬ r Ʌ ¬
p q r ¬r ¬q (p → q) (pVr)
q) (pVr) q)] q)]→ q
V V V F F V V F V F V

V V F V F V V F V F V

V F V F V 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 F F V

F V F V F V F F F F V

F F V F V V V F V F V

F F F V V V F V F F V

Tabla de la verdad Simulada.

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

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

Solución

P4: ¬ 𝑟 Simplificación (P3)

P5: p Tollendo Ponens (P2 y P4)
P6: q Ponendo Ponens (P1 y P5)

Conclusión: q