deduction theorem definition

  • noun:
    • an operation for "discharging" presumptions from an inference, causing them in order to become antecedents for the summary; or the other way around. Symbolically, the transformation of an inference regarding the type to an inference of the type or the other way around, where could be the turnstile logo. The substance of the process is a metatheorem of given reasonable principle.
29 votes

How would you define deduction theorem?

All the definitions on AZdictionary were written by people just like you. Now's your chance to add your own!