modus tollendo tollens 26
In logic it is called "modus tollendo tollens" (in Latin it means "procedure in which it refuses denying") to an argument where if a antecedent is not fulfilled then its consequent will not be fulfilled. See "modus ponendo ponens".