TAREA_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: Federico estudia en la nocturna

q: Federico quiere terminar el bachillerato

r: Federico quiere entrar a la universidad

s: Federico quiere conseguir un trabajo

Razonamiento en lenguaje natural:

Si Federico estudia en la nocturna, entonces si Federico quiere terminar el

bachillerato, entonces Federico quiere entrar a la universidad. Federico quiere entrar
a la universidad y Federico estudia en la nocturna. Federico quiere conseguir un
trabajo o Federico quiere terminar el bachillerato. Federico no quiere terminar el
bachillerato. Por lo tanto, Federico quiere conseguir un trabajo y, si Federico quiere
terminar el bachillerato, entonces Federico quiere entrar a la universidad.

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}→sΛ(q→r)
Λ¬q

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: p → (q → r)
P2: rΛp
P3: sVq
P4: ¬q
P5: p Simp (2)
P6: (q → r) PP (1), (5)
P7: s TP (3), (4)
P8: sΛ(q → r) (6), (7) CONCLUSIÓN