Using logic to arrive at a specific conclusion based on a generalization or premise. It goes from the general to the specific. Compare inductive reasoning.