In propositional logic, modus ponens (; MP), also known as modus ponendo ponens , implication elimination, or affirming the antecedent, is a deductive argument form and rule of inference. It can be summarized as "P implies Q. P is true. Therefore, Q must also be true."

Modus