Modus ponens is a rule of logical inference stating that if a conditional statement is true and its antecedent is true, then its consequent follows. In symbolic form, if P implies Q and P is true, then Q is true.
In propositional logic, modus ponens is a rule of inference. It can be summarized as "P implies Q and P is asserted to be true, therefore Q must be true."