QUIÉN ME AYUDA

Demostración de la validez del argumento mediante las leyes de

la inferencia lógica.
lo más pronto posible.

[ (q ⟶∼ r) ∧ (p→ q)] → (p ⟶ ∼ r)

Premisas:

P1: (q ⟶∼ r)

P2: (p → q)

Conclusión: (p ⟶ ∼ r )
p4:??
p5:??
no entiendo cómo verificar la conclusión

​