| 单词 | natural deduction |
| 释义 | natural deductionnouna system of formal logic that has no axioms but permits the assumption of premises of an argument. Such a system uses sequents to record which assumptions are operative at any stageCompare axiomatic (def. 3) Words nearby natural deductionNatural Bridges, natural child, natural childbirth, natural classification, natural death, natural deduction, natural dye, natural frequency, natural gas, natural gender, natural harmonics 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条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。