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

词汇	natural deduction
释义	natural deduction 自然演绎系统一种用於一阶述词演算的演绎系统，由四部分组成：（1）公理和基本规则；（2）联结词规则；（3）量词规则；（4）运算子规则。
随便看	resell resemblance resemble resend resent resentful resentfully resentment reserpine reservation reserve reserve reserve account reserve assets reserve bank reserve capital reserve clause reserve currency reserved reservedly reserved market reserved page frame performance option reserved page option reserved volume reserved word

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