Deductive reasoning Deductive reasoning Deductive reasoning, also deductive logic, logical deduction is the process of reasoning from one or more statements (premises) to reach a logically certain conclusion. Deductive reasoning goes in the same direction as that of the conditionals, and links premises with conclusions. If all premises are true, the terms are clear, and the rules of deductive logic are followed, then the conclusion reached is necessarily true. Deductive reasoning (""top-down logic"") contrasts with inductive reasoning (""bottom-up logic"") in the following way; in deductive reasoning, a conclusion is reached reductively by applying general rules which hold over the entirety of a
Modal logic expected of good structural proof theories, such as purity (the proof theory does not introduce extra-logical notions such as labels) and analyticity (the logical rules support a clean notion of analytic proof). More complex calculi have been applied to modal logic to achieve generality. Analytic tableaux provide the most popular decision method for modal logics. Modalities of necessity and possibility are called "alethic" modalities. They are also sometimes called "special" modalities, from the Latin "species". Modal logic was first developed to deal with these concepts, and only afterward was extended to others. For this reason, or perhaps for their familiarity