Question

en el siguiente argumento {[p→(q→r)]Λ(rΛp)Λ(sVq)Λ¬q}→sΛ(q→r), tengo que encontrar las premisas y determinar su valides de acuerdo a las leyes de inferencia, les dejo un ejemplo de otro ejercicio echo. pueden encontrar un video en internet llamado logica matematica leyes de inferencia , así igual que el que dejo de ejemplo debo desarrollar este 20 puntos a quien lo resuelva correctamente.



ejemplo

[(p→q)⋀(q→r)⋀(p⋀s)]→(r)

Leyes de inferencia:

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

P4: P S; P3
P5: p→ r Sh; p1, p2
P6: r MP; P4, P5

Conclusión: r
Este silogismo es valido

Answer 1

Este es el procedimiento

Si tienes más preguntas o dudas me puedes serguir asi puedo ver la preguntas que tienes y pueda ayudarte