deduction theorem (English, noun)
expansion: deduction theorem (plural deduction theorems)
Senses:
topics: human-sciences
logic
mathematics
philosophy
sciences
glosses: 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.
Forms:
form: deduction theorems
tags: plural