Modus ponens
WiktionaryText
Etymology
mode that affirms
From – roughly, “mode where affirming affirms”.
Noun
- 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.