离散数学2-1.pptVIP

第二章 谓词逻辑 一元谓词（P(x)）表示客体的性质；n(n2)元谓词表示客体之间的关系。 n元谓词P(x1,x2,…,xn)是以客体变元的个体域为定义域，以{0,1}为值域的n元函数。 n元谓词不是命题，只有将其中的客体变元替换为n个客体常元才成为命题。 例：A(x,y): xy 当 a=3，b=4 时，A(a,b)：34 为 T 当 c=5，d=1 时，A(c,d)：51 为 F 当 a=2时， A(2,y) 不表示命题，它是一元谓词 当n=0时，称为0元谓词，是命题。 例如上面的A(a,b)，a(c,d)都是0元谓词。 命题函数是否能成为命题及命题的真值与客体变元的取值范围有关。 下面考虑如下形式的命题在一阶谓词逻辑中符号化问题： （1）所有的人都是要死的。 （2）有的人活到一百岁以上。 以上给出的两个命题中，除有客体和谓词外，还有表示数量的词，即量词。 1）全称量词：符号 “?” 称为全称量词，用来表达 “对所有的”、“每一个”、“对任意一个”、 “凡”、“一切” 等。 2）存在量词：符号 “? ” 称为存在量词，用来表达 “某个”、“存在一些”、“至少有一个”、 “对于一些” 等词。 在不同个体域中，命题符号化的形式可能不一样。 3）特性谓词 引例：“有些人没有来上课” 要求：1)个体域为全总个体域，2)个体域为人。 解：1) 设 M(x): x是人 C(x): x没来上课 (?x) ( M(x) ? C(x) ) 2) 设C(x): x没来上课 (?x) C(x) 这里的M(x)称作特性谓词，用来限定客体的取值范围。 作业 P60 （2）e，g，h，k * 采用命题逻辑研究推理的过程 条件： 命题1； 命题2； 命题3； …… 结论： 命题7； …… 命题逻辑符号系统 分解 推理结论1 命题1 ? P 命题2 ? Q 命题3(复合命题） ? P?Q 结论： 命题7 (复合命题） ? (P?Q?R)?S 原子命题无法分解 复合命题分解为若干个原子命题 推理 运算 推理结论2 原子命题无法分解 著名的苏格拉底三段论 所有的人都是要死的， 苏格拉底是人， 所以苏格拉底总是要死的， 命题逻辑 前提:P?Q 结论:R P?Q ? R 所有的人都是要死的， 苏格拉底是人， 所以苏格拉底总是要死的， 谓词逻辑 前提:所有A都是B 结论:R R R 前提:C是A 所有A都是B C是A ?C是B 采用对原子命题进行分解的方法 谓词、命题函数与量词 1 谓词公式与翻译 2 变元的约束 3 谓词演算的等价式与蕴含式 4 前束范式 5 谓词演算的推理理论 6 主要内容 原 子 命 题 谓词逻辑 主语 谓语 主动者， 表现为 物体或抽象 的概念 说明客体的 性质、特征或 客体之间的关 系。 人总是要死的 人 是要死的 客体 谓词 客体 谓词 1、张三是个大学生。 2、李四是个大学生 是个大学生，描述了共同属性特征 引例： 谓词S：…是个大学生 a:张三 张三是个大学生 李四是个大学生 a:李四 S(a) 客体 用以刻划客体的性质或客体之间的关系的模式。 命题中表示思维对象的词，不依赖于主观而客观存在的实体。 客体 谓词 表示方法:客体采用小写字母表示;谓词采用大写字母表示 1. 基本概念 1、地球绕着太阳转 L：…绕着…转 a:地球 b:太阳 原命题 ? L(a,b) 例1、采用谓词表示下述命题 2、济南位于北京与南京之间 L：…位于…与…之间 原命题 ? L(a,b,c) a:济南 b:北京 c:南京 代表客体的变元。 一个原子命题用一个谓词（如P）和n个有次序的客体常元（如a1,a2,…,an）表示成 P(a1,a2,…,an) 例如：前面的S(a),L(a,b),L(a,b,c)都是谓词填式。 注意：在谓词填式中，客体出现的次序影响命题的表示。 如：B(a,b)表示“小李比小赵高2厘米” 而：B(b,a)表示“小赵比小李高2厘米” 这是两个不同的命题。 在命题的研究中，基于谓词分析的逻辑。 任意一个确定的客体。 客体常元 客体变元 谓词填式 谓词逻辑 通常，客体变元x具有某种性质F，记作F(x)， 客体变元x,y具有某种关系L，记作L(x,y)。 则例L(a,b,c)，将客体常元