modus ponens

Betekenis (Engels)

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

Sinonieme

deductive inference

Etimologie (Engels)

From Latin modus ponendo ponens (roughly, “mode where affirming affirms”).