离散件-谓词逻辑.pptVIP

第二章 谓词逻辑;又如 x+y 6 不是命题，但是对任何具体的实数x和y，它都有确定的真值。;第一节 量词化逻辑; ; ;2。注意事项：;二、量词;注意：在表达式 (?x)A(x)中，如果谓词A(x)是一个一元谓词，那么在确定的论域中 (?x)A(x)就是一个命题。同理(? x)A(x)也一样。 例：设论域 ?1={1，2，3，4}，?2={2，3，7}， 令 PRIME（x）：x是素数。 那么， (? x) PRIME(x) 在论域 ?1上取值 0，而在 ?2上取值 1。 ( ? x) PRIME(x) 在论域 ?1上取值 1，而在 ?2上也取值 1。;一般情况下，使用全总个体域构造谓词，而用特性谓词来限制或说明客体。;例：把“苏格拉第三段论式”翻译成谓词表达式： 解：令M(x）：x是人， D(x）：x是要死的， s：苏格拉底。 则可把“苏格拉底三段论式”翻译为： ((? x) [ M(x) ? D(x)] ?M(s)) ?D(s) ;例：把“每个实数的平方不小于 0”译成谓词表达式。 解：令R(x）：x 是实数， L(x，y）：x y， f(x) = x2 ， 这个命题可以有两种翻译形式： 当设定论域为实数集合时，可译为 (? x) [ ?L(f(x)，0）] 当设定论域为全总个体域时，可译为 (? x) [ R(x) ? ?L(f(x)，0）] ;3。量词的辖域和指导变元 在表达式 (? x) A(x) （或 ( ? x) A(x)）中，紧接量词后的变元 x 称为指导变元，A(x)称为量词的辖域。 4。约束变元和自由变元 量词辖域中与指导变元同名的变元称为约束变元，其它变元称为自由变元。;例：在表达式 (? x) [ A(x) ? (?y) [ B(y) ? C(x,y)]] 中，对于全称量词?而言，辖域中变 量 x 是受约束的，对于存在量词 ? 而 言，其辖域中变量y是受约束的，而 x 是自由的。; 注意：当对公式中的指导变元和约 束变元换用另一个符号表示时，不 改变公式的实际意义。 也就是说， (? x) A(x)与 (? t) A(t) 无本质区别， (?y)B(y)与 (?x)B(x) 也是相同的.;5。 在有限论域上量词公式的等价表示 设论域?={a1，a2，?，an}，则 (? x) R(x) ? R(a1) ? R(a2) ? ? ? R(an) ( ? x) R(x) ? R(a1) ? R(a2) ? ? ? R(an) ; 作业：习题2. 1 1， 2(3)， 3(2), 4(2) （吴子华） or 习题二 1， 2(3)， 3(2), 4(2) （冯伟森）;第二节、谓词合适公式（WFF）; ;二、WFF的解释;例：构造(? x) [ R(x) ?S(f(x))] ?C(a)的一个解释。;三、. 谓词WFF的分类：; ;第三节 谓词WFF的等价;二、定理： A(x) ? B(x)当且仅当A(x) ? B(x) 是永真式。 证明要点：同命题公式等价情形证明相似，对于任何论域，当A(x) ? B(x)时，在任何解释下A(x) 和 B(x)取值相同，因而A(x) ?B(x)恒取值 1 ，即为永真式。反之也对。;三、基本等价式; 当左端取值 0时，(? x) A(x)取值1，因而 对论域中所有客体 x使A(x) =1，于是右端 必取值 0。 2) ?(? x) A(x) ? (? x)[ ? A(x)] 这个等价式可类似地证明。 可见，对量词的否定包括量词互换和辖 域的否定两个方面。; 2。量词辖域的扩充与收缩(一); (? x) [A(x) ? B(x)]? (? x) A(x) ? (? x) B(x) 证明要点：当左端取值 1时，对论域中任何客x，A(x)和 B(x)必须取值 1，从而右端取值1。左端取值 0时，必存在客体 c使A(c) =0或者(c)=0，于是右端必取值 0。