modus ponens

Значение (Английский)

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

Синонимы

deductive inference

Этимология (Английский)

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