请输入您要查询的词汇:
词汇
predicate calculus
释义
predicate calculus
述词演算
数理逻辑的基础部分。在述词演算中,不仅把命题看作整体,而且还要分析命题的内部结构,把命题的内部结构分析为具有主语和谓语的逻辑形式,由命题函数、连接词和量词构成命题,研究其中的逻辑推理关系。
随便看
黑色素癌
黑色金属
黑色金属工业
黑话
黑豆
黑豹
黑貂
黑貂皮
黑货
黑金镶嵌
黑钙土
黑锅
黑钨矿
黑铁皮
黑陶
黑云压城城欲摧
黑云母
黑非洲
黑风
黑马
黑体
黑体字
黑鱼
黑鲩
黑鲷
语文网英语在线翻译词典收录了223822条英语词汇在线翻译词条,基本涵盖了全部常用英语词汇的中英文双语翻译及用法,是英语学习的有利工具。
Copyright © 2000-2024 Yuwen.pub All Rights Reserved
京ICP备2021023879号
更新时间:2025/8/27 10:32:02