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

Synoniemen

deductive inference

Etymologie (Engels)

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