\begin{definition}[Definition:Argument Form]
An '''argument form''' is a collation of symbols which contains statement variables such that:
: when statements are used to replace statement variables (the same statement replacing the same statement variable throughout), the result is a logical argument.
\end{definition}