User:Lord Farin/Backup/Definition:Natural Deduction/Proof Rule

A proof rule is a rule in natural deduction which allows one to work out the truth values of statement forms from other statement forms.

The terms rule of derivation and transformation rule mean the same thing.