Deduction
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definition
The process or operation of deriving conclusions that necessarily follow from given premises by the application of inference rules within a logical system; deduction yields conclusions whose truth is entailed by the premises and rules.