Deductive reasoning (source code)

= Deductive reasoning
{wiki}

= Deduction
{synonym}

Reasoning in which the conclusion follows from the premises by valid inference. A valid argument need not have true premises; soundness additionally requires their truth.