deduction theorem
noun
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
Words nearby deduction theorem
deduce,
deduct,
deductible,
deductible clause,
deduction,
deduction theorem,
deductive,
deduplicate,
dedéagach,
dee,
deed