Inference in which the conclusion cannot be false given that the premises are true. / Inference in which the conclusion is of no greater generality than the premises.

A kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the "natural" way of reasoning, in contrast to axiomatic systems.

plural of deduction theorem

plural of deductive inference

plural of deductive closure