Inference

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Inference is the general mechanism of deriving new propositions from existing ones according to a logic's rule set; it specifies how conclusions follow from premises within a chosen formalism.