modus tollens
Related entries include:
absurd
;