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.

Either valid or invalid.