Noun
modus ponendo 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 ponendo ponens has the form:
1. If P, then Q.
2. P.
3. Therefore, Q.