Definition:Logical Inference

Definition
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.

Also known as
The term logical inference is often used as just inference.

This process is sometimes called logical derivation or just derivation.