Deductive reasoning

The process of deriving logical conclusions from a set of premises, using rules of inference.