离散数学2.1-2讲述.ppt

第2章 一阶逻辑 一阶逻辑基本概念、命题符号化 一阶逻辑公式、解释及分类 一阶逻辑等值式、前束范式 一阶逻辑推理理论 苏格拉底三段论 凡人都是要死的。 苏格拉底是人。 所以苏格拉底是要死的。 2.1 一阶逻辑基本概念 基本概念——个体词、谓词、量词 个体词（个体）: 所研究对象中可以独立存在的具 体或抽象的客体 谓词: 表示个体词性质或相互之间关系的词 2是素数。 张三是程序员。 小李比小王大三岁。 基本概念——个体词、谓词、量词 个体词（个体）: 所研究对象中可以独立存在的具 体或抽象的客体 个体常项：具体的事务，用a, b, c表示 个体变项：抽象的事物，用x, y, z表示 个体域: 个体变项的取值范围 有限个体域，如{a, b, c}, {1, 2} 无限个体域，如N, Z, R, … 全总个体域: 宇宙间一切事物组成 基本概念 (续) 谓词: 表示个体词性质或相互之间关系的词 ???? 谓词常项：F: …是人，F(a)：a是人 ???? 谓词变项：F: …具有性质F，F(x)：x具有性质F ???? 一元谓词: 表示事物的性质 多元谓词(n元谓词, n?2): 表示事物之间的关系 如 L(x,y)：x与