Of, pertaining to, or based on deduction (process of reasoning). / (logic) Based on inferences from general principles.

present participle of deduct

plural of deductible

In a deductive manner; using deduction

Alternative form of deductibility

The quality of being deductive.

(logic) A procedure for "discharging" assumptions from an inference, causing them to become antecedents of the conclusion; or vice versa. Symbolically, the conversion of an inference of the form P,A⊢C to an inference of the form P⊢A→C or vice versa, where ⊢ is the turnstile symbol. The validity of the procedure is a metatheorem of the given logical theory.

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

The set of all the statements that can be deduced from a given set of statements.