Question

 Demostración de la validez del argumento mediante las leyes de la inferencia lógica
[(p∨(q∧r))∧¬(q∧r)∧(p→s)]→s
Premisas
P1: p∨(q∧r)
P2: ¬(q∧r)
P3: p→s
Conclusión: s

Answer 1

Verificamos, mediante leyes de inferencia lógica que: La conclusión es válida

Identificamos las Premisas y efectuamos:

P1: p ∨ ( q ∧ r)

P2: ¬(q ∧ r)

P3: p → s        

P4: p         Silogismo disyuntivo (P1 y P2)

P5: s        Modus Ponens (P3 y P4)

Por lo tanto verificamos que P5 corresponde con la conclusión: "s"