deduction theorem


Also found in: Acronyms, Wikipedia.

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
Collins English Dictionary – Complete and Unabridged, 12th Edition 2014 © HarperCollins Publishers 1991, 1994, 1998, 2000, 2003, 2006, 2007, 2009, 2011, 2014