---

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*}
\]

• Example