请输入您要查询的词汇:
词汇
natural deduction
释义
natural deduction
自然演绎系统
一种用於一阶述词演算的演绎系统,由四部分组成:(1)公理和基本规则;(2)联结词规则;(3)量词规则;(4)运算子规则。
随便看
righteousness
righter
right-eyed
right field
right fielder
rightful
rightfully
rightfulness
right-hand
right-hand drive
right-handed
right-hander
right-hand man
right-hand side
right-hearted
right here
Right Hon
Right Honourable
rightism
rightist
right justification
right-justify
rightly
right margin
right-minded
语文网英语在线翻译词典收录了223822条英语词汇在线翻译词条,基本涵盖了全部常用英语词汇的中英文双语翻译及用法,是英语学习的有利工具。
Copyright © 2000-2024 Yuwen.pub All Rights Reserved
京ICP备2021023879号
更新时间:2025/7/23 6:44:24