Given the work done in this proof so far, we are almost in a position to complete this proof. To finish though, we'll have to find a way to use the rule MP with line 4
What rule do we have to apply to Line 8 if we wanted to complete the proof?
1 (1) (–R -> (P -> –T)) A Aim:S
2 (2) T A
3 (3) (R -> –T) A
4 (4) ((–P v M) -> S) A
2 (5) ––T 2 DN
2,3 (6) –R 3,5 MT
1,2,3 (7) (P -> –T) 1,6 MP
1,2,3 (8) –P 5,7 MT