第二章一阶逻辑合编.pptVIP

计算机科学与工程学院 示范性软件学院 第2章 一阶逻辑(谓词逻辑) 例如(著名的苏格拉底三段论) （1）所有的人都是要死的； （2）苏格拉底是人。 （3）苏格拉底是要死的。 苏格拉底三段论 要反映这种内在联系，就要对命题逻辑进行分析,分析出其中的个体词、谓词和量词，再研究它们之间的逻辑关系，总结出正确的推理形式和规则，这就是一阶(谓词)逻辑的研究内容。 办法：将命题再次细分。 本章内容 2.1 本章学习要求 2.1.1 谓词逻辑中的基本概念与表示 命题是具有真假意义的陈述句，从语法上分析，一个陈述句由主语和谓语两部分组成。 谓词 更一般地， F(x)：x是四川师范大学的学生。 个体词与谓词 个体词：在原子命题中，可以独立存在的客体（句子中的主语、宾语等），称为个体词(Individual)。 谓词：而用以刻划客体的性质或客体之间的关系即是谓词(Predicate)。 个体词的分类 表示具体的或特定的个体词称为个体常项(Individual Constant)，一般个体词常量用带或不带下标的小写英文字母a, b, c，…，a1, b1, c1,…等表示； 表示抽象的或泛指的个体词称为个体变项(Individual Variable)，一般用带或不带下标的小写英文字母x, y, z, …, x1, y1, z1, …等表示。