Definition, synonyms and related words
A valid form of argument in which the antecedent of a conditional proposition is infirmed, thereby entailing the infirmation of the consequent. Modus tollendo tollens has the form