modus ponens

Oznaczający (Angielski)

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

Synonimy

deductive inference

Etymologia (Angielski)

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