Deductive reasoning, also deductive logic, logical deduction or, informally, "top-down" logic, is the process of reasoning from one or more statements (premises) to reach a logically certain conclusion. It differs from inductive reasoning or abductive reasoning.