1. (logic) a valid argument form in which the consequent of a conditional statement is denied, leading to the denial of its antecedent; e.g. "If P, then Q. Not Q. Therefore, not P."
   "The philosopher used modus tollens to disprove the theory"

Encyclopedia: Modus tollens