\begin{definition}[Definition:Natural Deduction/Proof Rule]
A '''proof rule''' is a rule in natural deduction which allows one to infer the validity of propositional formulas from other propositional formulas.
\end{definition}