电子科技大学 第4章 谓词逻辑.pptVIP

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