modus ponens
Jump to navigation
Jump to search
English[edit]
Etymology[edit]
From Latin modus ponendo ponens (roughly, “mode where affirming affirms”).
Noun[edit]
modus 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[edit]
Translations[edit]
a valid form of argument in which the antecedent of a conditional proposition is affirmed, thereby entailing the affirmation of the consequent
|