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

词汇	natural deduction
释义	natural deduction 自然演绎系统一种用於一阶述词演算的演绎系统，由四部分组成：（1）公理和基本规则；（2）联结词规则；（3）量词规则；（4）运算子规则。
随便看	tortoise tortoise beetle tortoise shell tortoiseshell tortulous tortuosity tortuous tortuously torture torturer torturous torula toruliform torus Tory Toryism Tory Party TOS to say nothing of to sb.'s disappointment to sb.'s face to sb.'s liking to sb.'s relief to sb.'s taste to sb.'s thinking

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