Definition:Logical Inference

Logical inference (or just inference) is the process used in natural deduction to deduce the truth value of statement forms from other statement forms by use of proof rules.

Given a set of logical formulas and the proof rules, we (logically) infer other formulas.