离散数学第三章 谓词演算基础-永真性和可满足性.pptVIP

特取自由变元z=2. 特取Y=Z=X2 利用上页的公式，可以验证两者等价。 P?Q=(?P?Q) ?(P? ? Q) 或 P?Q=(P ? Q) ? (? P ? ? Q) P?Q=(?P?Q) ?(P? ? Q) 或 P?Q=(P ? Q) ? (? P ? ? Q) P?Q=(?P?Q) ?(P? ? Q) 或 P?Q=(P ? Q) ? (? P ? ? Q) 量词次序决定了SKOLEM标准形不一样 当L(x)=F(恒值)时， 第1式恒为F，而第2式恒为T 应选择(B)。 (C)的问题是：x不是学生时结论为假 (D)(F)前束范式相同 n元与全称量词有关 由?x?y?u可以看到， 在?x前没有全称量词，引入SKOLEM常量a 由?y?u可以看到，在?u前有全称量词，引入SKOLEM函数 f(y) 由?x?u ?y可以看到， 在?x前没有全称量词，引入SKOLEM常量a 由?u ?y可以看到，在?u前也没有全称量词，引入SKOLEM常量b 例 讨论类型?x ?yF(x,y)? ?x ?yF(x,y) 证明? 取解释E如下： 个体域为自然数集N，谓词解释F(x,y)：x ? y。 在解释E下，该公式的前、后件均为真，所以该公式为真，这说明该公式不是矛盾式； 再取解释E?：个体域仍然为N，谓词F(x,y)：x=y。 在解释E?下，该公式的前件为真，后件为假，故该公式为假，这又说明该公式不是永真式。 综上所述，该公式是非永真式的可满足式。 考察 ?xF(x) ? ?xF(x) I={2,3} I={2,4} I={a, b} F(x): x为偶数 F?T=T T?T=T F?F=T F(x): x为奇数 F?T=T F?F=T F?F=T F(x): x5 T?T=T T?T=T F?F=T F(x):x是质数 T?T=T F?T=T F?F=T 定理1 (p33) 如果I，J是个具有相同个数的个体域(个体本身可不相同)，则任意一个公式?， 若在I中永真当且仅当其在J中永真； 若在I中可满足当且仅当其在J中可满足。 证明：要证明该问题，首先要在两个个体域I和J上建立个体、谓词、解释等元素间的一一对应关系。 定理1的证明 (p33) 构造一一对应关系如下： (1)因为I和J具有相同个数的个体域，所以可在两者之间建立一一对应关系，即在I中有一个个体a，总能在J中找到一个个体与之对应，反之亦然。 (2)现作个体域I和J上谓词的一一对应关系 设X(x1，x2，…，xn)是I上的n元谓词，令满足下列性质的J中n元谓词X’(x1’，x2’，…，xn’)是其对应的谓词: X(x1，…，xn)为真当且仅当X’(x1’，…，xn’)为真, 其中x1，…，xn在I中取值， x1’，…，xn’在J中取值。 定理1的证明 (p33-34) (3)把I中的解释与J中的解释作一一对应关系： 设有I中的一个解释 (x1，…，xn；X1，…，Xm；P1，…，Pk) =(a1，…，an；A1，…，Am；P10，…，Pk0) 记为：(x；X；P)=(a；A；P0) 则令J中的下列解释为其对应的解释 (a1’，…，an’；A1’，…，Am’；P10，…，Pk0) 记为：(a’；A’；P0) 利用归纳法可证明 (见下页) ?(a；A；P0)=?(a’；A’；P0) 定理1的证明(p34) 利用归纳法可以证明 ?(a；A；P0)=?(a’；A’；P0) 如果?为命题变元，命题显然成立。 如果?为谓词填式X(x1，x2，…，xn) 则有…，故命题成立。 如果?为下列五种情形之一 ??1，?1??2，?1??2，?1??2，?1??2， 则有…，故命题成立。 如果?为?y?1(x；X；P，y)之形，则有…，故命题成立。 如果?为?y?1(x；X；P，y)之形，同理可证 。 定理1的证明(p34) 利用归纳法可证明 (见上页) ?(a；A；P0)=?(a’；A’；P0) (3.1) 设?在I中可满足，即在I中存在一个解释(a；A；P0)使得?取真值，由解释的一一对应关系和式(3.1)知，在J中也存在一个解释(a’；A’；P0)使得?取为真，故?在J中可满足。反之亦然。 同理可证，?在I中永真当且仅当?在J中永真。 K 域 定义：把个体域{1，2，3，…，k}称为k域， 即由k个个体组成的个体域。 当k=1时，就称为1域，依此类推。 永真性和可满足性 定理2：如果一公