离散数学教学课件 作者 郝晓燕 第2章谓词逻辑.ppt

例2-2.6 在分别取个体域为 （1）D1=N （2）D2=R （3）D3为全总个体域的条件下 将命题“存在数x，使得x+7=5”符号化，并讨论真值。 本例说明：不同个体域内，命题符号化形式可能不同（也可能相同），真值可能不同（也可能相同）。 例2-2.7 给定解释I如下： ① DI?=R； ② DI中特定元素a=0； ③ DI上特定函数f?(x，y)：x＋y，g(x，y)：x×y； ④ DI上特定谓词F(x，y)：x等于y。 写出下列公式在I中的解释，并指出真值。 （1）(?x)F(?f?(x，a)，g(x，a)) （2）(?x)(?y)(F(?f?(x，y)，g(x，y))?F(x，y)) （3）(?x)F(g(x，y)，a) 注意：闭式在任何解释下都是命题；不是闭式的公式在解释下可能是命题，也可能不是命题。 §2-2-4 谓词逻辑的公式类型 定义2-2.7 若公式A在任何解释下均为真，则称A为逻辑有效式（永真式）。若A在任何解释下均为假，则称A为矛盾式（永假式）。若至少有一个解释使A为真，则称A为可满足式 例2-2.8 判断下列公式类型 （1）(?x)F(x)?((?x)(?y)G(x，y)?(?x)F(x)) （2）?((?x)F(x)?(?y)G(y))?(?y)G(y) （3）(?x)(F(x)?G(x)) 由于谓词公式的复杂性和解释的多样性，至今还没有一个可行的算法判定任何公式的类型。早在1936年，Churen和Turing各自独立地证明了：对于谓词逻辑，其判定问题是不可解的。当然，对于一些较为简单的公式，或某些特殊公式，还是可以判定其类型的。 §2-3 谓词逻辑的等价关系 定义2-3.1 设A、B为任意两个谓词公式，若A?B为逻辑有效的，则称A与B是等价的，记为A?B，称A?B为等价式。 §2-3-2 基本等价式 （1）量词否定等价式 （a）?(?x)A?(?x)?A （b）?(?x)A?(?x)?A （2） 量词辖域缩小或扩大等价式 设B是不含变元x的谓词公式，则有： （a）(?x)(A(x)?B)?(?x)A(x)?B （b）(?x)(A(x)?B)?(?x)A(x)?B （c）(?x)(A(x)→B)?(?x)A(x)→B （d）(?x)(B→A(x))?B→(?x)A(x) （e）(?x)(A(x)?B)?(?x)A(x)?B （f）(?x)(A(x)?B)?(?x)A(x)?B （g）(?x)(A(x)→B)?(?x)A(x)→B （h）(?x)(B→A(x))?B→(?x)A(x)。 (3) 量词分配律等价式： (a) (?x)(A(x)∧B(x))?(?x)A(x)∧(?x)B(x) (b) (?x)(A(x)∨B(x))?(?x)A(x)∨(?x)B(x) (4) 多重量词等价式 (a) (?x)(?y)A(x,y)?(?y)(?x)A(x,y) (b) (?x)(?y)A(x,y)?(?y)(?x)A(x,y) 此外利用命题等价公式的代入规则可以得到很多谓词等价公式，例如由公式(p?q)?(?p?q)可以得到(?x)P(x)?(?y)Q(y)??(?x)P(x)?(?y)Q(y)等。 例2-3.1 证明下列公式之间的等价关系成立 (?x)P(x)→Q(x)?(?y)(P(y)→Q(x)) 证明：(?x)P(x)→Q(x) ??(?x)P(x)?Q(x) 蕴含等价式 ?(?x)?P(x)?Q(x) 量词否定等价式 ?(?y)?P(y)?Q(x) 约束变元改名 ?(?y)(?P(y)?Q(x)) 量词辖域收缩扩张等价式 ?(?y)(P(y)→Q(x)) 蕴含等价式 §2-4 谓词公式的标准化 定义2-4.1 一个合式公式如果有如下形式：(Q1x1)(Q2x2)…(Qkxk)B，其中Qi(1≤i≤k)为?或?，B为不含有量词的公式，则称为前束范式。 例如，(?x)(?y)(?z)(P(x，y)?Q(y，z))是前束范式，(?x)P(x)?(?y)Q(y)，(?x)(P(x)?(?y)Q(x，y))不是前束范式。 设G是任一谓词公式，通过下述步骤可将其转化为与之等价的前束范式： （1）消去公式中包含的联结词“?”、“?”； （2）反复运用德·摩根定律，将“?”内移到原子谓词公式的前端； （3）使用谓词的等价公式将所有量词提到公式的最前端。 例2-4.1 求下列公式的前束范式。 （1）((?x)P(x)?(?y)Q(y))?(?x)R(x) ?((?x)P(x)?(?y)Q(y))?(?z)R(z) 约束变元改名?(?x)(?y)(?z)((P(x)?Q(y))?R