Definition:Logical Inference

Definition
Logical inference (or just 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.

Also known as
This process is sometimes called derivation.