离散数学03谓词及量词.pptVIP

第1章 基础：逻辑和证明 1.3 谓词和量词 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 1.3.1 引言(命题逻辑的局限 1) 含变量的陈述句不是命题？！ 教室 x 正在上课 命题函数 P(x)≡谓词 主语(x)：变量，谓语(P)：x 具有的性质 变量被赋值后，谓词 ? 命题 谓词本身不是命题！！！ 例 1 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 1.3.1 引言(命题逻辑的局限 1) 谓词 P(x) 可以有多个变量：多元谓词 例2, 例3 有 n 个变量的谓词 记为 P(x1, x2, …, xn) n 元谓词 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 1.3.1 引言(命题逻辑的局限 1) 程序中的谓词 谓词 P(x)：x＞0 程序验证中的谓词 前置条件 P(x, y)：{ x = x0, y = y0} 后置条件 Q(x, y)：{ x = y0, y = x0} Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 1.3.1 引言(命题逻辑的局限 1) 含变量的陈述句：主语?个体词，谓语?谓词 变量?个体变量，陈述句?命题函数 P(x)：x ＞ 3 变量赋值后的陈述句 变量值?个体常量，陈述句?命题 P(2)：2 ＞ 3 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 命题逻辑的局限性 2 三段论 每个人都要死 张三是人 张三要死 实际中经常使用的推理方式 在命题逻辑系统中应如何表示？ Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 命题逻辑的局限性 2 命题逻辑符号化 每个人都要死 张三是人 张三要死 在符号化后的形式结构中，看不到推理 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 命题逻辑的局限性 2 复合命题 p ? q ? r p(每个人都要死)，q(张三是人)，r(张三要死) p、q、r 是 3 个独立命题 明显地，3 句话之间存在关联 进一步，是 3 句话的内部成分之间有关联 命题逻辑无法表示出这些内部成分及其关系！ Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 命题逻辑的局限性 因为：命题逻辑中原子命题是不可分的 现在需要分解，才能找出相互之间的关系 引入命题函数(＝个体词＋谓词) 如 P(x)：x 是人，Q(x)：x 要死 x＝张三 P(张三)：张三是人，Q(张三)：张三要死 “每个人都要死” 如何表示？ Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 命题逻辑的局限性 命题函数：展现出语句的内部结构 P(x)：x 是人，Q(x)：x 要死 P(张三)：张三是人，Q(张三)：张三要死 “每个人都要死”？ 与上述两个命题函数之间的关联？ 如果是人，那么要死：P(x)?Q(x) “每个人”呢？ Evaluation only. Created