deduction theorem

deduction theorem


  1. 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

Leave a Reply

Your email address will not be published.

51 queries 0.419