05 2022 档案

Chapter3-谓词逻辑公式语义
摘要：谓词逻辑公式语义 谓词逻辑语法 谓词逻辑语言 谓词逻辑语言，又称一阶逻辑语言 逻辑符号：包括变元、联结词、量词 非逻辑符号：包括常量、函词、谓词 仅有个体变元 按形成规则构成的合式公式集合 谓词逻辑，也称为狭义谓词逻辑 谓词都是关于个体的性质或关系，而不涉及关系的性质或关系之间的关系 函数是关于个体 阅读全文
posted @ 2022-05-07 22:33 wnico 阅读(927) 评论(0) 推荐(0) 编辑

点击右上角即可分享
微信分享提示