In propositional logic, modus tollens, also known as modus tollendo tollens and denying the consequent, is a deductive argument form and a rule of inference. Wikipedia