Word.ws English Dictionary

deduction theorems

deduction theorems is the plural of deduction theorem.

Meaning of deduction theorem

Noun

deduction theorem (plural deduction theorems)

  1. 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.
    • 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.

Questions about deduction theorems

What is deduction theorems the plural of?
Deduction theorems is the plural of deduction theorem.

Words near deduction theorems in the dictionary

  1. deductible
  2. deductibles
  3. deducting
  4. deduction
  5. deduction theorem
  6. deduction theorems
  7. deductions
  8. deductive
  9. deductive closure
  10. deductive closures
  11. deductive inference

Source and license

Adapted from Wiktionary: deduction theorems (page history and authors); deduction theorem (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.

Last updated:

Cite this entry: “deduction theorems.” Word.ws, https://word.ws/deduction_theorems. Based on Wiktionary, CC BY-SA 4.0.