deduction

Reasoning based on general truths or certainties from which inferences can be drawn for particular situations.

It may take the form of the syllogism IF A and IF B THEN C, or of IF–THEN rules such as those used in expert systems.
Compare induction.