Ejercicio 3: 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 3:

C: Expresión simbólica: [( p → q)∧(q → r)∧( p∧ s)]→ r

Premisas:
P1: p →q
P2:q → r
P3: p ∧ s

Conclusión: r

RTA/

Proposiciones simples
p: Santiago estudia medicina

q: Santiago presenta todas las evaluaciones

s: podrá salir el fin de semana con su familia
r: su familia estará orgullosa de el

Razonamiento en lenguaje natural:

Si Santiago estudia medicina entonces presenta todas las evaluaciones. sí Santiago
presenta todas las evaluaciones entonces su familia no estará orgullosa de él. Santiago
presenta todas las evaluaciones y podrá salir el fin de semana con su familia. Por lo tanto,
su familia no estará orgullosa de él.
Tabla manual
p q r s ~ (p (q→ (p (p→q)Ʌ(q (p→q)Ʌ(q→~r [(p→q)Ʌ(q→~r)Ʌ(
r →q ~r) Ʌs) →~r) )Ʌ(pɅs) pɅs)]→~r
)
V V V V F V F V F F V
V V V F F V F F F F V
V V F V V V V V V V V
V V F F V V V F V F V
V F V V F F V V F F V
V F V F F F V F F F V
V F F V V F V V F F V
V F F F V F V F F F V
F V V V F V F F F F V
F V V F F V F F F F V
F V F V V V V F V F V
F V F F V V V F V F V
F F V V F V V F V F V
F F V F F V V F V F V
F F F V V V V F V F V
F F F F V V V F V F V

 Encontramos el resultado de la tabla de verdad que es una tautología

tabla de verdad con el simulador Lógica UNAD

 Leyes de inferencia
c. Expresión simbólica [( p → q)∧(q → r) ∧( p∧ s)]→ r

Premisas:
P1: p →q
P2:q → r
P3: p ∧ s
P4: p(SIMP 3)
P5: q (MPP 1,4)
P6: r (MPP 2,5)

Conclusión: r