\begin{definition}[Definition:Logical Inference]
'''Logical inference''' is the process used in natural deduction to deduce the validity of statement forms from other statement forms by use of proof rules.
Given a set of logical formulae and the proof rules, we '''(logically) infer''' other formulas.
\end{definition}