离散数学第三章 谓吹氖演算基础-自由变元和约束变元.pptVIP

第三章 谓词演算基础 3.1 谓词与个体 3.2 函数与量词 3.3 自由变元和约束变元 3.3.1 自由出现和约束出现 3.3.2 改名和代入 3.4 永真性和可满足性 3.5 唯一性量词与摹状词 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 复习: 项 例 考察谓词 WRITE(x,y)表示x 写了y 的谓词填式： WRITE(Shakespeare，Hamlet) WRITE(Shakespeare，y) WRITE(son(Shakespeare)，Hamlet) 变量符号 函数！ 实体 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 谓词演算公式的原子公式 ——谓词填式A(x1，x2，…，xn) 其中x1，…，xn是项(实体、变量符号、函数)。 原子公式是公式的最小单位，是最小的句子单位。 项不是公式。 函数f(t1,...，tm)不是句子，仅是词，因而不是公式仅是项。项的结果仍是个体名称集合中的名词，而公式的结果(真值)是成立或不成立(是1或0)。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 合式公式的定义 定义1：谓词演算的合式公式(简称公式)是由 ◆ 原子命题、 ◆ 谓词填式（原子公式）、 ◆ 或由它们利用联结词和量词 构成的式子。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 合式公式的形式定义 (1) 原子命题P是合式公式； (2) 谓词填式A(x1，x2，x3，…，xn)是合式公式； (3) 若A是公式，则?A是合式公式； (4) 若A和B是合式公式，则 (A?B)，(A?B)，(A?B)，(A?B)为公式； (5) 若A是合式公式，x是A中出现的任何个体变元，则?xA(x)，?xA(x)为合式公式。 (6)只有有限次使用(1)、(2)、(3)、(4)、(5)所得到的式子才是合式公式。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 自由出现和约束出现 定义2：设?为任何一个谓词演算公式，并设 ?xA(x)，?xA(x)为公式?的子公式， 此时紧跟在?、?之后的x称为量词的指导变元或作用变元， A(x)称为相应量词的作用域或辖域， 在作用域中x 的一切出现均称为约束出现， 在?中除了约束出现外的一切出现x均称为自由出现。 例 ?x(A(x，y)) Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 例(29) ?x(A(x，y)??y(B(x，y)?C(z))) 指出合式公式的作用域、约束出现和自由出现。 解：?x的作用域为： A(x，y)??y(B(x，y)?C(z))； ?y的作用域为： B(x，y)?C(z)； 公式中的x为约束出现， 第一个y和z是自由出现， B(x，y)?C(z)中的y为约束出现。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 自由变元和约束变元 定义3：一个变元x 若在公式中有自由出现，则称此变元为自由变元； 若