the form of logical reasoning in which a conclusion is shown to follow necessarily from a sequence of premises, the first of which stands for a self-evident truth (see axiom) or agreed-upon data. In the empirical sciences, deductive reasoning underlies the process of deriving predictions from general laws or theories. Compare inductive reasoning. See also logic.