\begin{definition}[Definition:Direct Proof]
A '''direct proof''' is an argument form which establishes the truth of a conclusion by assuming that the premises are true and demonstrating that the conclusion is necessarily true as a consequence.
\end{definition}