第二章 谓词逻辑(2.5-2.7).pptVIP

§2.5 谓词演算的等价式与蕴含式 谓词公式的分类 谓词公式的等价 谓词公式的等价式与蕴含式 一、谓词公式的分类 定义 设有一谓词公式α，其自由客体变元为x1,x2,…,xh；命题变元为P1,P2,…,Pk，则我们把α表示为：α(x1,x2,…,xh；P1,P2,…,Pk) 如果对个体域指定以D，对x1,x2,…,xh在个体域上分别指派以个体a1,a2,…,ah；对P1,P2,…,Pk分别指派以P1*,P2*,…,Pk*(其中Pi*或为0,或为1，i=1,2,…,k)，则称对α作了一个个体域D上的指派，记为α(a1,a2,…,ah； P1*,P2*,…,Pk*)。如果该值为真，则该指派为α的成真指派；如果该值为假，则该指派称为α的成假指派。 一、谓词公式的分类 例1 求公式α=?x(P(x)?Q(x,y))?R的成真指派和成假指派，其中P(x)表示“x是偶数”，Q(x,y)表示“y能被整除x”,α的个体域D={3,4}，R是命题变元。 解 一、谓词公式的分类 [定义2-5.2]给定谓词公式A，E是A的个体域。若给A中客体变元指派E中的每一个客体名称所得命题的值均为真，则称A在E中是永真的。若E为任意域则称A是永真的。 [定义2-5.3]一个谓词公式wff A，如果所有赋值下都为假，则称A是永假的（或不满足的）。 一、谓词公式的分类 [定义2-5.4] 一个谓词公式wff A，如果至少在一种赋值下为真，则称A是可满足的。 一、谓词公式的分类 例2 判断下列公式的类型。 （1）?x?yG(x-y,x+y)?(Q??Q) （2）G(x-y,x+y) （3）?x?y(G(x,y)??G(x,y))?Q 其中x,y的个体域为整数集I，Q为命题变元， G(x,y)表示x?y。 一、谓词公式的分类 解 (1)无论对Q指派何种命题常元，Q??Q的真值总为1，而在I中对任意的x，总存在y=1使x-1?x+1成立，所以?x?yG(x-y,x+y)在I中总为真，因此?x?yG(x-,x+y)?(Q??Q)对任意的指派总为真，是永真式。 一、谓词公式的分类 （2）因为x-y?x+y在I中的真值不确定，当指派x=1,y=1时，0?2，即x-y?x+y取值为真；当指派x=1,y=-1时，2?0不成立，即x-y?x+y取值为假，所以，公式G(x-y,x+y)是可满足式。 （3）无论在个体域I中对x，y指派什么个体常元，G(x,y)??G(x,y)总为假，从而?x?y(G(x,y)??G(x,y))?Q总为假，所以该公式是永假式。 二、谓词公式的等价 [定义2-5.1] 给定任何两个谓词公式A，B，设它们有共同的个体域E，若对A和B的任一组变元进行赋值，使得A和B的值相同，则称A和B在E上是等价的，记为A?B。 三、谓词演算的等价式和蕴含式 1. 由命题公式推广的等值式 利用代入定理将命题演算中的等值公式推广而得到谓词演算中的等值公式。 例如，在命题演算中有公式：P?Q??P?Q，可推广而得：P(x)?Q(x)??P(x)?Q(x)， ?xP(x)??xQ(x)???xP(x)??xQ(x)等等。 利用以上方法，可得一类公式。 三、谓词演算的等价式和蕴含式 2. 关于量词与联结词的一元谓词等值式 1）消去量词等值式 ? 设个体域为有限集D={a1,a2,…,an}，则有 （1）?xA(x)?A(a1)?A(a2)?…?A(an) （2）?xA(x)?A(a1)?A(a2)?…?A(an) 上例说明： 若个体域是有限的，则可省掉量词。 若个体域是无限的，则可将上述概念推广从而省去量词，不过要注意这是由无限项组成的命题。 三、谓词演算的等价式和蕴含式 2. 关于量词与联结词的一元谓词等值式 1）消去量词等值式 例：设个体域为：N={0,1,2…}， 　　P(x)表示：x3 ,则可写出： （?x）P(x)?P(0)? P(1) ?… ? P(i) ?… （?x）P(x) ?P(0)?P(1) ? … ? P(i) ? … 三、谓词演算的等价式和蕴含式 2. 关于量词与联结词的一元谓词等值式 2）量词转换律 （1）??xA(x)??x?A(x) （2）??xA(x)??x?A(x) 下面证明： 设个体域为： S={a1,a2,…an} ?（?x）P(x)? ?(P(a1)? P(a2) ? … ? P(an)) ??P(a1)? ?P(a2) ?… ? ?P(an) ?（?x）?P(x) 三、谓词演算的等价式和蕴含式 举例说明量化命题和非量化命题的差别