Modus ponens

Modus Ponens (also known as the rule of detachment or conditional elimination) is a rule of inference that states that from P and P --> Q, one may infer Q.