Modus Ponens

Modus ponens is a very common rule of inference, and takes the following form:

If P, then Q.
P.
Therefore, Q.