离散数学复习第二章谓词逻辑.docVIP

离散数学复习要点 第二章谓词逻辑 一、典型考查点 1、基本概念：个体词、个体域、谓词、特性谓词、辖域，详见P27；前束范式详见P36 2、谓词符号化 步骤：①正确理解给定命题。必要时把命题改叙，使其中每个原子命题、原子命题之间的关系能明显表达出来。②把每个原子命题分解成个体、谓词和量词；在全总论域讨论时，要给出特性谓词。③找出恰当量词。应注意全称量词(?x)后跟条件式，存在量词(?x)后跟合取式。④用恰当的联结词把给定命题表示出来。详见P30 3、谓词公式类型的判定（永真式、永假式、可满足式） 方法：利用论域翻译成自然语言后进行判断。详见P34 4、自由变元与约束变元的判定 方法：按定义，关键是要看它在A中是约束出现，还是自由出现，若与量词的指导变元相同，就是约束出现，不同就是自由出现。详见P31。 5、等价式 (1)量词否定等价式：(a)?(?x)A?(?x)?A(b)?(?x)A?(?x)?A (2) 量词辖域缩小或扩大等价式 (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)其中，A(x)，B(x)为有x自由出现的任何公式。详见P3435 6、蕴含式(a)(?x)A(x)∨(?x)B(x)?(?x)(A(x)∨B(x)) (b) (?x)(A(x)∧B(x))?(?x)A(x)∧(?x)B(x) (c) (?x)(A(x)→B(x))?(?x)A(x)→(?x)B(x) (d) (?x)(A(x)→B(x))?(?x)A(x)→(?x)B(x) 其中，A(x)和B(x)为含有x自由出现的任意公式。详见P35 6、前束范式 方法：①把量词全部通过等值演算化到整个谓词公式的前面②把量词前面的﹁全部通过德摩根定律化到谓词公式的内部。详见P36 7、推理：方法：演绎（常用格式）、反证法、CP规则即附加前提等。对于命题逻辑中的所有规则都可用。 特殊规则：(1)量词消去 (简称UI或US规则) (?x)A(x)?A(c) (?x)A(x)?A(y) (?x)A(x)?A(c) 量词产生规则(简称EG或UG规则) A(c)?(?y)A(y) A(x)?(?y)A(y) 详见P38 二、强化练习 1.下列式子不是谓词合式公式的是( ) A.(x)(P(x)→(?x)(Q(x) ∧A(x，y))) B.(x)∧(?y)∨P(x，y) C.(x)P(x)→R(y) D.(?x)P(x)∧Q(y，z) 2.设个体域为实数集，特定元素a=0，函数f(x，y)=x-y，特定谓词F(x，y)为xy，下列公式真值为真的是( ) A.(x)(y)F(x，f(f(x，y)，y)) B.(x)(y)(﹁F(f(x，y)，x)) C.(x)(y)(z)(F(x，y)→F(f(x，z)，f(y，z))) D.(x)F(f(a，x)，a) 3.对于公式(x)(y)P(x，y)∨Q(x，z)∧(?x)P(x，y)，下列说法正确的是( ) A.x是自由变元 B.x是约束变元 C.( x)的辖域是P(x，y)∨Q(x，z) D.(x)的辖域是P(x，y) 4.设论域为{1，2}，与公式(x)﹁A(X)等价的是( ) A. ﹁A(1) ∨﹁A(2) B. ﹁A(1)→﹁(A2) C. ﹁A(1) ∧﹁A(2) D. A(1) →A(2) 5．在公式（）F（x，y）→（ y）G（x，y）中变元x是（　　　） A．自由变元 B．约束变元 C．既是自由变元，又是约束变元 D．既不是自由变元，又不是约束变元 6．下列等价式不正确的是（　　　） A． B． C． D． 7．设A（x）:x是人，B（x）：x犯错误，命题“没有不犯错误的人”符号化为（　　　） A． B．?? B（x））C．?D．?? B(x)) 二、填空题 8.一个公式，如果量词均在全式的________，其作用域延伸到整个公式的________，则该公式称为前束范式。 9．（x）（y）（P（x，y）Q（y，z））∧xP（x，y）中x的辖域为________，x的辖域为_____