离散数学第4章谓词逻辑.pdf

苏格拉底 P：所有的人都是要死的； Q：苏格拉底是人。 R ：苏格拉底是要死的。 可见，P，Q，R为不同 题，无法体现三者相 互之间的联系。 问题在于这类推理中，各命题之间的逻辑关系不是 体现在原子命题之间，而是体现在构成原子命题的 内部成分之间。对此，命题逻辑将 为力。 2021/7/20 本章内容 1 谓词逻辑中的基本概念 2 谓词的翻译原理 3 谓词的合式 4 谓词的 -范式 5 谓词逻辑的推理理论 2021/7/20 4.1 本章学 重点掌握 一般掌握 了解 1 2 3 1 谓词逻辑符号化 1 谓词 的 前束范式与 及真值 解释和真值 2 谓词 的有效 SKOLEM范式 性和基本等价 2 自由变元和 3 掌握谓词逻辑的 约束变元 推理规则和公理 2021/7/20 4.2 谓词逻辑中的基本概念与表示 命题是 假意义的陈述句，从语法上分析，一 个陈述句由主语和谓语两部分组成。 例如， “计算机是现代科学技术必不可少的工具” 若 Ｐ：是电子科技大学的学生 “陈华是电子科技大学的学生” --P(陈华) “张强是电子科技大学的学生” --P(张强) 2021/7/20 谓词 更一般地， P(x)：x是电子科技大学的学生。 x： 词 P(x) P：谓词 P(x):命题函数 2021/7/20 词与谓词 定义4.2.1 在原子命题中，可以独立存在的客体 （句子中的主语、宾语等），称为 词 (Individual)。而用以刻划客体的性质或客体之间 的关系即是谓词 (Predicate)。 例1 、 、赵明、 班、计算机科学 等等仅仅是简单的 常量； “ 的首都”、 “是计算机的基础课程”等仅仅是简单的谓词，它 们都不能构成完整的句子。 2021/7/20 词的分类 1. 表示具体的或特定的