A set of statements, denoted
\[\begin{equation*}
\begin{array}{ll}
& P_1 \\
& \vdots \\
& P_n \\
\hline
\therefore & Q
\end{array}
\end{equation*}
\]
and read
“\(P_1\), …, \(P_n\), therefore \(Q\)”,
where
| where | \(P_i\) | is the \(i\)th premise and |
| \(Q\) | is the conclusion. |