English

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 Wikisaurus:argument form

Related terms

• modus tollens

Translations