Definitions from Wiktionary (deduction theorem)

▸ noun:  (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 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.



▸ Words similar to deduction theorem
▸ Usage examples for deduction theorem

▸ Idioms related to deduction theorem
▸ Wikipedia articles (New!)
▸ Words that often appear near deduction theorem
▸ Rhymes of deduction theorem

▸ Invented words related to deduction theorem