\begin{definition}[Definition:Natural Deduction System/Copi]
Source: {{AuthorRef|Irving M. Copi}}: {{BookLink|Symbolic Logic|Irving M. Copi|ed = 4th|edpage = Fourth Edition}} (MacMillan, $1973$)
\end{definition}