请输入您要查询的词汇:
词汇
natural deduction
释义
natural deduction
自然演绎系统
一种用於一阶述词演算的演绎系统,由四部分组成:(1)公理和基本规则;(2)联结词规则;(3)量词规则;(4)运算子规则。
随便看
john thomas
joie de vivre
join
join
joinable
join condition
join dependency
joinder
小乘
小事
小事聪明,大事糊涂
小五金
小亭
小人
小人得志
小人物
小伙子
小住
小便
小便器
小便宜
小便池
小俩口
小个子
小偷
语文网英语在线翻译词典收录了223822条英语词汇在线翻译词条,基本涵盖了全部常用英语词汇的中英文双语翻译及用法,是英语学习的有利工具。
Copyright © 2000-2024 Yuwen.pub All Rights Reserved
京ICP备2021023879号
更新时间:2024/11/8 22:15:43