Definition:Logical Inference

From ProofWiki
Jump to: navigation, search


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.