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
Examples of 'deduction theorem' in a sentence
deduction theorem
The transfer equations and transfer matrices of typical elements are developed for the automatic deduction theorem of overall transfer equation.
Xue Rui, Guoping Wang, Jianshu Zhang, Xiaoting Rui, Lu Sun 2016, 'Study on automatic deduction method of overall transfer equation for branch multibodysystem', Advances in Mechanical Engineeringhttp://ade.sagepub.com/content/8/6/1687814016651586.full.pdf. Retrieved from DOAJ CC BY 4.0 (https://creativecommons.org/licenses/by-sa/4.0/legalcode)