What does deduction theorem mean?

Definitions for deduction theorem
de·duc·tion the·o·rem

Here are all the possible meanings and translations of the word deduction theorem.


  1. deduction theoremnoun

    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.


  1. Deduction theorem

    In mathematical logic, the deduction theorem is a metatheorem of first-order logic. It is a formalization of the common proof technique in which an implication A → B is proved by assuming A and then deriving B from this assumption conjoined with known results. The deduction theorem explains why proofs of conditional sentences in mathematics are logically correct. Though it has seemed "obvious" to mathematicians literally for centuries that proving B from A conjoined with a set of theorems is sufficient to proving the implication A → B based on those theorems alone, it was left to Herbrand and Tarski to show this was logically correct in the general case—another instance, perhaps, of modern logic "cleaning up" mathematical practice. The deduction theorem states that if a formula B is deducible from a set of assumptions, where A is a closed formula, then the implication A → B is deducible from In symbols, implies . In the special case where is the empty set, the deduction theorem shows that implies The deduction theorem holds for all first-order theories with the usual deductive systems for first-order logic. However, there are first-order systems in which new inference rules are added for which the deduction theorem fails.

How to pronounce deduction theorem?

How to say deduction theorem in sign language?


  1. Chaldean Numerology

    The numerical value of deduction theorem in Chaldean Numerology is: 8

  2. Pythagorean Numerology

    The numerical value of deduction theorem in Pythagorean Numerology is: 8

Images & Illustrations of deduction theorem

  1. deduction theoremdeduction theoremdeduction theoremdeduction theoremdeduction theorem

Translations for deduction theorem

From our Multilingual Translation Dictionary

  • نظرية الاستنباطArabic

Get even more translations for deduction theorem »


Find a translation for the deduction theorem definition in other languages:

Select another language:

  • - Select -
  • 简体中文 (Chinese - Simplified)
  • 繁體中文 (Chinese - Traditional)
  • Español (Spanish)
  • Esperanto (Esperanto)
  • 日本語 (Japanese)
  • Português (Portuguese)
  • Deutsch (German)
  • العربية (Arabic)
  • Français (French)
  • Русский (Russian)
  • ಕನ್ನಡ (Kannada)
  • 한국어 (Korean)
  • עברית (Hebrew)
  • Gaeilge (Irish)
  • Українська (Ukrainian)
  • اردو (Urdu)
  • Magyar (Hungarian)
  • मानक हिन्दी (Hindi)
  • Indonesia (Indonesian)
  • Italiano (Italian)
  • தமிழ் (Tamil)
  • Türkçe (Turkish)
  • తెలుగు (Telugu)
  • ภาษาไทย (Thai)
  • Tiếng Việt (Vietnamese)
  • Čeština (Czech)
  • Polski (Polish)
  • Bahasa Indonesia (Indonesian)
  • Românește (Romanian)
  • Nederlands (Dutch)
  • Ελληνικά (Greek)
  • Latinum (Latin)
  • Svenska (Swedish)
  • Dansk (Danish)
  • Suomi (Finnish)
  • فارسی (Persian)
  • ייִדיש (Yiddish)
  • հայերեն (Armenian)
  • Norsk (Norwegian)
  • English (English)

Word of the Day

Would you like us to send you a FREE new word definition delivered to your inbox daily?

Please enter your email address:

Discuss these deduction theorem definitions with the community:



    Use the citation below to add this definition to your bibliography:


    "deduction theorem." Definitions.net. STANDS4 LLC, 2021. Web. 30 Nov. 2021. <https://www.definitions.net/definition/deduction+theorem>.

    Are we missing a good definition for deduction theorem? Don't keep it to yourself...

    Browse Definitions.net

    Free, no signup required:

    Add to Chrome

    Get instant definitions for any word that hits you anywhere on the web!

    Free, no signup required:

    Add to Firefox

    Get instant definitions for any word that hits you anywhere on the web!


    Are you a words master?

    a decorative musical accompaniment (often improvised) added above a basic melody
    • A. descant
    • B. excogitate
    • C. knead
    • D. suffuse

    Nearby & related entries:

    Alternative searches for deduction theorem: