D. Expresión simbólica: [(p v~r) ^ (~r→ q) ^ (p→r)^ (~q)]→r P1: [(p v~r) P2: (~rq) P3: (pr) Demostración Premisas dadas P4: ~q Premisas Ley aplicada Premisas usadas P5: (qvr) P1, P2, P3 P6: r MODUS TOLLENDO PONNENS ¿que ley se aplica en las premisas p1, p2, y p3 y que premisas se usan en la ley modus tollendo ponnens ​