Modus Tolens
A logical argument of the form shown below. This is essentially the argument employed in proof by contradiction.
See also
Modus ponens