Dictionary

noun

Definitions

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:

   Example: 1. If P, then Q.