英语词汇“natural deduction”的读音、翻译、释义、用法及例句-语文网

词汇	natural deduction
释义	natural deduction 自然演绎系统一种用於一阶述词演算的演绎系统，由四部分组成：（1）公理和基本规则；（2）联结词规则；（3）量词规则；（4）运算子规则。
随便看	propagation propagation delay propagation loss propagation time propagator propane proparoxytone propel propellant propellent propeller propelling pencil propellor propend propensity proper proper acceptance proper fraction proper law proper law clause properly proper noun proper packing proper subset propertied

语文网英语在线翻译词典收录了223822条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。