单词 | deduction theorem |
释义 | deduction theoremnounlogic 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 theoremdeduce, deduct, deductible, deductible clause, deduction, deduction theorem, deductive, deduplicate, de Duve, 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 |
随便看 |
英语词典包含192737条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。