Deductive reasoning, also known as deductive logic, is the logic used to show that a conclusion necessarily follows from a set of premises (assumptions).