modus ponens
English
editEtymology
editFrom Latin modus ponendo ponens (roughly, “mode where affirming affirms”).
Noun
editmodus ponens (uncountable)
- (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
edit- inference rule
- See also Thesaurus:argument form
Related terms
editTranslations
edita valid form of argument in which the antecedent of a conditional proposition is affirmed, thereby entailing the affirmation of the consequent
|