Question 975442
The M in the second line can be thought of as ~~M or ~(~M) using double negation


The overall argument is valid by Modus Tollens (MT) since Modus Tollens is of the form


P -> Q
~Q
:.~P