Modus ponens

Define

A rule of inference in the form

\[\begin{equation*}
  \begin{array}{ll}
    & P \implies Q \\
    & P \\
    \hline
    \therefore & Q \\
  \end{array}
\end{equation*}
\]

Example

If you are dancing, you are sweating.
You are dancing.
Therefore, you are sweating.