应用离散数学第三章第1讲.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 命题符号化(举例、续) 例: “有的汽车比火车快”。 解: 设: F(x): x是汽车; G(x): x是火车; H(x,y): x比y快 原命题符号化成: ?x(F(x)??y(G(y)?H(x,y))) 或: ?x?y(F(x)?G(y)?H(x,y)) 应用离散数学 第三章 第1讲 例: “有些病人相信所有的医生”。 解: 设: F(x): x是病人; G(x): x是医生; H(x,y): x相信y 原命题符号化成: ?x(F(x)??y(G(y)?H(x,y))) 命题符号化(举例、续) 应用离散数学 第三章 第1讲 命题符号化(举例、续) 例: “存在唯一的对象满足性质P”。 解: 设: P(x): x满足性质P 原命题符号化成: ?!xP(x) 或: ?x( P(x) ? ?y( P(y)?x=y ) ) 应用离散数学 第三章 第1讲 合式公式中的变项 量词辖域: 在?xA, ?xA中, A是量词的辖域. 例如: ?x(F(x)??y(G(y)?H(x,y))) 指导变项: 紧跟在量词后面的个体变项.例如: ?x(F(x)??y(G(y)?H(x,y))) 约束出现: 在辖域中与指导变项同名的变项. 例如: ?x(F(x)??y(G(y)?H(x,y))) 自由出现: 既非指导变项又非约束出现. 例如: ?y(G(y)?H(x,y)) 应用离散数学 第三章 第1讲 合式公式中的变项(举例) H(x’,y’)∨?xF(x)∨?y(G(y)?H(x’’,y)) x 与 y 是指导变项 x与y是约束出现 x’, x’’与 y’是自由出现 应用离散数学 第三章 第1讲 换名(rename)规则 把某个指导变项和其量词辖域中所有同名的约束出现, 都换成某个新的个体变项符号. 例如: ?x(A(x)∧B(x)) ? ?y(A(y)∧B(y)) ?xA(x)∧?xB(x) ? ?yA(y)∧?zB(z) H(x,y)∨?xF(x)∨?y(G(y)?H(x,y)) ? H(x,y)∨?zF(z)∨?u(G(u)?H(x,u)) 应用离散数学 第三章 第1讲 代替(substitute)规则 把某个自由变项的所有出现, 都换成某个新的个体变项符号. 例如: A(x)∧B(x) ? A(y)∧B(y) ?xA(x)∧B(x) ? ?xA(x)∧B(y) H(x,y)∨?xF(x)∨?y(G(y)?H(x,y)) ? H(s,t)∨?xF(x)∨?y(G(y)?H(s,y)) 应用离散数学 第三章 第1讲 闭式(closed form) 闭式: 无自由出现的变项 一般来说, 闭式表示的是命题, 例如 F(a) ?xF(x) F(x) ?y(G(y)?H(x,y)) 后两个不是闭式 应用离散数学 第三章 第1讲 解释(interpret) 对一个合式公式的解释包括给出 个体域 谓词 函数 个体常项 的具体含义 应用离散数学 第三章 第1讲 解释(举例) F(f(a,a),b) 解释1： 个体域是全体自然数; a: 2; b: 4; f(x,y)=x+y; F(x,y): x=y 原公式解释成: “2+2=4”。 解释2： 个体域是全体实数; a: 3; b: 5; f(x,y)=x-y; F(x,y): xy 原公式解释成: “3-35”。 应用离散数学 第三章 第1讲 谓词 函数 一阶逻辑永真式(tautology) 永真式:在各种解释下取值均为真(逻辑有效式) 命题逻辑永真式: 在各种赋值下取值均为真(重言式) 永假式:在各种解释下取值均为假(矛盾式) 命题逻辑永假式: 在各种赋值下取值均为真(矛盾式) 可满足式：非永假式 应用离散数学 第三章 第1讲 一阶逻辑等值式(定义) 等值： A?B 读作：A等值于B 含义：A与B在各种解释下取值均相等 A?B 当且仅当 A?B是永真式 例如： ??xF(x)??x?F(x) 应用离散数学 第三章 第1讲 F ? F 一阶逻辑等值式(来源) 命题逻辑等值式的代换实例 与量词有关的 有限个体域量词消去 量词否定 量词辖域收缩与扩张 量词分配