modus tollendo ponens

Borrowed from Latin modus tollendō pōnēns (roughly, “mode where negating confirms”).

modus tollendo ponens (uncountable)

1. (philosophy, logic) A valid form of argument in which the antecedent of a conditional proposition is negated, thereby entailing the affirmation of the consequent. Modus ponendo tollens has the form:

   1. If non-P, then Q.

   2. non-P.

   3. Therefore, Q.

   Synonym: disjunctive syllogism

• inference rule
• See also Thesaurus:argument form

• modus ponendo ponens
• modus ponendo tollens
• modus tollendo tollens

• modus ponendo tollens