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