This is also more properly known as deductive reasoning: taking all general premises and statements and working down to a conclusion that also holds to be true. If all the premises are true and logical rules are followed, the conclusion has to be true by necessity.
