modus ponens

== English == === Etymology === From Latin modus ponendo ponens (roughly, “mode where affirming affirms”). === Noun === 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 ==== inference rule See also Thesaurus:argument form ==== Related terms ==== modus tollens ==== Translations ====