Modus ponens

Rule of logical inference

In propositional logic, modus ponens, 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."

This keyword could refer to multiple things. Here are some suggestions: