(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.