英语词汇“natural deduction”的英英意思、用法、释义、翻译、读音、例句、短语、词组-英语词典

单词	natural deduction
释义	Word Frequency natural deduction noun a 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 stage Compare axiomatic (sense 3)
随便看	the Maple Leaf the Maritime Provinces the mark the market the Marseillaise the Mary Celeste the Mary Rose The Massacre of St Bartholomew the masses the master the Masurian Lakes thematic thematically thematic apperception test thematic approach thematisation thematization the matter the Maupertuis principle the Mayflower theme the Mearns the Med themed the medical profession

英语词典包含233703条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。