deduction theorem
Hello, you have come here looking for the meaning of the word deduction theorem. In DICTIOUS you will not only get to know all the dictionary meanings for the word deduction theorem, but we will also tell you about its etymology, its characteristics and you will know how to say deduction theorem in singular and plural. Everything you need to know about the word deduction theorem you have here. The definition of the word deduction theorem will help you to be more precise and correct when speaking or writing your texts. Knowing the definition ofdeduction theorem, as well as those of other words, enriches your vocabulary and provides you with more and better linguistic resources.
English
Noun
deduction theorem (plural deduction theorems)
- (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 to an inference of the form or vice versa, where is the turnstile symbol. The validity of the procedure is a metatheorem of the given logical theory.
- The deduction theorem reveals the relationship between logical entailment and material implication: it allows to one to "pack" or "record" an inference into a tautology, and conversely, to "unpack" or "play back" a tautology as an inference process.
