Modus ponens
A rule of inference in the form
\begin{equation*} \begin{array}{ll} & P \implies Q \\ & P \\ \hline \therefore & Q \\ \end{array} \end{equation*}A rule of inference in the form
\begin{equation*} \begin{array}{ll} & P \implies Q \\ & P \\ \hline \therefore & Q \\ \end{array} \end{equation*}