\begin{definition}[Definition:Natural Deduction]
'''Natural deduction''' is a technique for deducing valid sequents from other valid sequents by applying precisely defined proof rules, each of which themselves are either "self-evident" axioms or themselves derived from other valid sequents, by a technique called logical inference.
\end{definition}