Paragraph
is a valid deduction rule. Prove that the statement
\begin{equation*} (P_1 \wedge P_2 \wedge \cdots \wedge P_n) \imp Q \end{equation*}
is a tautology.
in-context