Definition:Logical Inference
From ProofWiki
Definition
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.
This process is sometimes called derivation.
Sources
- Donald Kalish and Richard Montague: Logic: Techniques of Formal Reasoning (1964): $\text{I}: \S 3$
