Punto_2

a. Expresión simbólica:
{[p→(q→r)]Λ(rΛp)Λ(sVq)Λ¬q}→sΛ(q→r)
Premisas:
P1: 𝑝 → (𝑞 → 𝑟)
P2: rΛp
P3: sVq
P4: ¬q

Conclusión: sΛ(q→r)

Desarrollo:

Proposiciones simples:

p: Esteban es ingeniero de sistemas

q: Esteban sabe programar
r: Esteban sabe de algoritmos
s: Esteban ganó todas sus materias en 5.0

Razonamiento en lenguaje natural:

Si Esteban es ingeniero de sistemas, entonces si Esteban sabe programar, entonces Esteban sabe de algoritmos.
Esteban sabe de algoritmos y es ingeniero de sistemas. Esteban ganó todas sus materias en 5.0 o Esteban sabe
programar. Esteban no sabe programar. Por lo tanto, Esteban ganó todas sus materias en 5.0 y si Esteban sabe
programar, entonces Esteban sabe de algoritmos.

Tablas de verdad:
 [p→(q→r)] {[p→(q→r)]
Λ(rΛp) Λ(rΛp)
p q r s ¬q (𝐪 → 𝐫) 𝐩 → (𝐪 → 𝐫) rΛp sVq sΛ(q→r)
Λ(sVq) Λ(sVq)
Λ¬q Λ¬q}→sΛ(q→r)
V V V V F V V V V F V V
V V V F F V V V V F F V
V V F V F F F F V F F V
V V F F F F F F V F F V
V F V V V V V V V V V V
V F V F V V V V F F F V
V F F V V V V F V F V V
V F F F V V V F F F F V
F V V V F V V F V F V V
F V V F F V V F V F F V
F V F V F F V F V F F V
F V F F F F V F V F F V
F F V V V V V F V F V V
F F V F V V V F F F F V
F F F V V V V F V F V V
F F F F V V V F F F F V
Resultado de la tabla de verdad: TAUTOLOGÍA.
Leyes de inferencia:

Premisas:

P1: 𝑝 → (𝑞 → 𝑟)
P2: rΛp
P3: sVq
P4: ¬q
P5: p Simp (2)
P6: (𝑞 → 𝑟) PP (1), (5)
P7: s TP (3), (4)
P8: sΛ(𝑞 → 𝑟) (6), (7) CONCLUSIÓN