1. (logic) a valid form of argument in which the antecedent of a conditional proposition is affirmed, thereby entailing the affirmation of the consequent: If P then Q, and P is true, therefore Q
   "Modus ponens is a fundamental rule of inference in logic"

Encyclopedia: Modus ponens