English
wikipedia
Etymology
L. mode that affirms
Noun
en-noun|sg=modus ponens|-
- context|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.
Related terms
modus tollens
|