Pasos Enunciados Razón

1 𝑝→𝑞 P
2 ~𝑞 P
3 ~𝑝 T,1,2 y Modus Tollens
4 𝑝∨r P
5 r T, 3,4 y Silogismo Disyuntivo

Pasos Enunciados Razón

1 Jt→Ca P
2 Ca→∼Ct P
3 Jt→∼Ct T, 1,2 y Silogismo Hipotético
4 Jt P
5 ∼Ct T, 3,4 y Modus Ponens