单词 | deduction theorem |
释义 | Word Frequency deduction theoremnoun 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 |
随便看 |
英语词典包含233703条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。