Modus ponens

Rule of logical inference

In propositional logic, modus ponens (MP), also known as modus ponendo ponens (from Latin 'mode that by affirming affirms'), conditional elimination, 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 ponens is a mixed hypothetical syllogism and is closely related to another valid form of argument, modus tollens.

From Wikipedia, under CC BY-SA. More on occurri.