---

Premise

Define

Any statement in the argument

\[\begin{equation*}
  \begin{array}{ll}
    & P_1 \\
    & \vdots \\
    & P_n \\
    \hline
    \therefore & Q
  \end{array}
\end{equation*}
\]

other than the conclusion \(Q\).