Deduction is a form of reasoning that produces conclusions that are logically entailed by premises. Of all types of reasoning, deductive reasoning is the only one that guarantees its conclusions in all cases.

Deduction is distinguished from other forms of reasoning, such as abduction, induction, and analogical reasoning.