modus tollens

Etymology
From, from and forms of.

Noun

 * 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:
 * 1. If P, then Q.
 * 2. Not Q.
 * 3. Therefore, not P.

Hypernyms

 * See also Thesaurus:argument form
 * See also Thesaurus:argument form

Translations

 * German: Modus tollens
 * Icelandic: neitunarháttur
 * Persian: نفی تالی