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

Nearby words

deduce, deduct, deductible, deductible clause, deduction, deduction theorem, deductive, deduplicate, dedéagach, dee, deed

Collins English Dictionary - Complete & Unabridged 2012 Digital Edition © William Collins Sons & Co. Ltd. 1979, 1986 © HarperCollins Publishers 1998, 2000, 2003, 2005, 2006, 2007, 2009, 2012