请输入您要查询的词汇:

 

词汇 natural deduction
释义 natural deduction
自然演绎系统
一种用於一阶述词演算的演绎系统,由四部分组成:(1)公理和基本规则;(2)联结词规则;(3)量词规则;(4)运算子规则。
随便看

 

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

 

Copyright © 2000-2024 Yuwen.pub All Rights Reserved
京ICP备2021023879号 更新时间:2024/11/5 16:26:28