Modus ponens

Modus ponendo ponens Latin: mode that affirms by affirming.  is a valid, simple argument form in classical logic sometimes referred to as affirming the antecedent or the law of detachment. It is closely related to another valid form of argument, modus tollens or denying the consequent.

Modus ponens is a very common rule of inference, and takes the following form: 
If P, then Q.
P.
Therefore, Q.

 Related pages 
Modus tollens
Syllogism

 References 

Category:Rules of inference