电子科技大学离散数学课程组国家级.pptVIP

学而不思则罔●▂●思而不学则殆 专业分享，敬请收藏 第4章 谓词逻辑 例如(著名的苏格拉底三段论) （1）所有的人都是要死的； （2）苏格拉底是人。 （3）苏格拉底是要死的。 苏格拉底三段论 P：所有的人都是要死的； Q：苏格拉底是人。 R：苏格拉底是要死的。 本章内容 4.1 本章学习要求 4.2 谓词逻辑中的基本概念与表示 命题是具有真假意义的陈述句，从语法上分析，一个陈述句由主语和谓语两部分组成。 谓词 更一般地， P(x)：x是电子科技大学的学生。 个体词与谓词 定义4.2.1 在原子命题中，可以独立存在的客体（句子中的主语、宾语等），称为个体词(Individual)。而用以刻划客体的性质或客体之间的关系即是谓词(Predicate)。 个体词的分类 表示具体的或特定的个体词称为个体常量(Individual Constant)，一般个体词常量用带或不带下标的小写英文字母a, b, c，…，a1, b1, c1,…等表示； 表示抽象的或泛指的个体词称为个体变量(Individual Variable)，一般用带或不带下标的小写英文字母x, y, z, …, x1, y1, z1, …等表示。 例子 个体域 定义4.2.2 个体词的取值范围称为个体域(或论域) (Individual Field)，常用D