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

第1章 基础：逻辑和证明 1.3 谓词和量词 1.3.1 引言(命题逻辑的局限 1) 含变量的陈述句不是命题？！ 教室 x 正在上课 命题函数 P(x)≡谓词 主语(x)：变量，谓语(P)：x 具有的性质 变量被赋值后，谓词 ? 命题 谓词本身不是命题！！！ 1.3.1 引言(命题逻辑的局限 1) 谓词 P(x) 可以有多个变量：多元谓词 例2, 例3 有 n 个变量的谓词 记为 P(x1, x2, …, xn) 1.3.1 引言(命题逻辑的局限 1) 程序中的谓词 谓词 P(x)：x＞0 程序验证中的谓词 前置条件 P(x, y)：{ x = x0, y = y0} 后置条件 Q(x, y)：{ x = y0, y = x0} 1.3.1 引言(命题逻辑的局限 1) 含变量的陈述句：主语?个体词，谓语?谓词 变量?个体变量，陈述句?命题函数 P(x)：x ＞ 3 变量赋值后的陈述句 变量值?个体常量，陈述句?命题 P(2)：2 ＞ 3 命题逻辑的局限性 2 三段论 每个人都要死 张三是人 张三要死 实际中经常使用的推理方式 在命题逻辑系统中应如何表示？ 命题逻辑的局限性 2 命题逻辑符号化 每个人都要死 张三是人 张三要死 在符号化后的形式结构中，看不到推理 命题逻辑的局限性 2 复合命题 p ? q ? r p(每个人都要死)，q(张三是人)，r(张三要死) p、q、r 是 3