Question

Demostración de la validez del argumento mediante las leyes de la inferencia lógica.
Expresión simbólica:
[(~p→q)∧(q→r)∧(~r)]⟶p

Premisas:
P1: (~p→q)
P2: (q→r)
P3: (~r)

Conclusión: p

Answer 1

Respuesta:

Explicación paso a paso:

Racopnalizas P1 con la identidad de p3 al cuadrado de p2