deduction theorem

(redirected from Deduction metatheorem)

deduction theorem

n
(Logic) logic the property of many formal systems that the conditional derived from a valid argument by taking the conjunction of the premises as antecedent and the conclusion as consequent is true