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

词汇	natural deduction
释义	natural deduction 自然演绎系统一种用於一阶述词演算的演绎系统，由四部分组成：（1）公理和基本规则；（2）联结词规则；（3）量词规则；（4）运算子规则。
随便看	叽叽喳喳嘲嘲弄嘲笑嘲讽嘴嘴上无毛办事不牢嘴不饶人嘴乖嘴唇嘴尖嘴尖舌巧嘴巴嘴快嘴快心直嘴懒嘴甜嘴甜心苦嘴皮子嘴硬嘴硬心软嘴笨嘴紧嘴脸嘴角

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