\begin{definition}[Definition:Compound Statement]
A '''compound statement''' is a statement which results from the application of one or more logical connectives to a collection of simple statements.
\end{definition}