modus tollens

Meanings

1. A valid form of argument in which the consequent of a conditional proposition is denied, thus implying the denial of the antecedent. Modus tollens has this form

Etymology

From Latin modus tollendō tollēns (“the mode where the denying denies”), from modus (“mode”) and forms of tollō (“to take away”).