modus ponens

English

Etymology

From Latin modus ponendo ponens (roughly, “mode where affirming affirms”).

Noun

modus ponens (uncountable)

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

   1. If P, then Q.

   2. P.

   3. Therefore, Q.

Hypernyms

• inference rule
• See also Thesaurus:argument form

Related terms

• modus tollens

Translations

a valid form of argument in which the antecedent of a conditional proposition is affirmed, thereby entailing the affirmation of the consequent

• Chinese:

  Mandarin: 肯定前件

• Icelandic: aðskilnaðarregla f, aðskilnaðarháttur m
• Persian: وضع مقدم (vaz'e moqaddam)