modus tollens

(Latin for denial mode.) An inference rule that states that if B is false and A implies B, then A is also false.

This is considered an “unsafe” approach compared to modus ponens because proving a negative is always weaker than proving a positive.