离散数学 谓词逻辑篇 计算机科学与信息类专业教学PPT课件.ppt

* 定理2.7 设A(x，y)都是含个体变元x和y的谓词公式，则下列蕴含式成立： (1)(?x)(?y)A(x，y)??xA(x，x)。 (2)?xA(x，x)?(?x)(?y)A(x，y)。 (3)(?x)(?y)A(x，y)?(?y)(?x)A(x，y)。 (4)(?x)(?y)A(x，y)?(?y)(?x)A(x，y)。 (5)(?x)(?y)A(x，y)?(?y)(?x)A(x，y)。 2.5 Lp中的普遍等价式与蕴涵式 * 证明 仅证(1) (1)设I为任意解释。如果?xA(x，x)在I下为假，则存在一个个体a使得A(a，a)为假，于是(?y)A(a，y)为假，从而(?x)(?y)A(x，y)为假，因此(?x)(?y)A(x，y)??xA(x，x)。 需要说明的是：定理2.7的逆不一定成立。下面以例子对(5)进行说明。 例如，设A(x，y)表示x和y同姓，论域x是甲村的人，论域y是乙村的人，则 (?x)(?y)A(x，y)表示对于甲村的所有人，乙村都有人与他同姓。 (?y)(?x)A(x，y)表示乙村与甲村有人同姓。 显然(?x)(?y)A(x，y)?(?y)(?x)A(x，y)成立，而其逆不成立。 2.5 Lp中的普遍等价式与蕴涵式 * 例4 下列断言是否为真，为什么？ (1)?xP(x)??xQ(x)??x(P(x)?Q(x))。 (2)?x(P(x)?Q(x))??xP(x)??xQ(x)。 解 (1)、(2)不成立。 (1)设个体域为{1，2}，令P(x)：x＝1，Q(x)：x＝2，则 ?xP(x)??xQ(x)?(P(1)∧P(2))?(Q(1)∧Q(2))?T ?x(P(x)?Q(x))?(P(1)?Q(1))∧(P(2)?Q(2))?F 所以，该断言假。 (2)设个体域为{1，2}，令P(x)：x＝2，Q(x)：x＝2，则 ?x(P(x)?Q(x))?(P(1)?Q(1))∧(P(2)?Q(2))?T ?xP(x)??xQ(x)?(P(1)∨P(2))?(Q(1)∧Q(2))?F 所以，该断言假。 2.5 Lp中的普遍等价式与蕴涵式 2.5 Lp中的普遍等价式与蕴涵式 例. 证明(?x)(?y)(P(x)?Q(y))?((?x)P(x)?(?x)Q(x)) 证明 (?x)(?y)(P(x)?Q(y)) ? (?x)(P(x)?Q(x)) (定理) ? (?x)(P(x)?Q(x))∧(Q(x)?P(x)) (定理) ? (?x)(P(x)?Q(x))∧(?x)(Q(x)?P(x)) (定理) ? (?x)P(x)? (?x)Q(x))∧(?x)(Q(x)?(?x)P(x)) (定理) ? (?x)(P(x)? (?x)Q(x) (定理) 故，例中结论成立． 2.3谓词公式与翻译 例. 把下列命题符号化： ①张强和李林都是足球运动员． ②赵越是象棋迷或围棋迷． ③李林比张强高． 解 ①令F(x): x是足球运动员, l: 李林, c: 张强，命题符号化为F(c)∧F(l)． ②令C(x): x是象棋迷, G(x ): x是围棋迷, a: 赵越，命题符号化为C(a)∨G(a)． ③H(x, y): x比y高, l: 李林, c: 张强,命题符号化为H(l, c). 2.3谓词公式与翻译 例. 将命题“没有最大的自然数”符号化． 解 命题中“没有最大的”显然是对所有的自然数而言，所以可理解为“对所有的x，如果x是自然数，则一定还有比x大的自然数”，再具体点，即“对所有的x，如果x是自然数，则一定存在y, y也是自然数，并且y比大.”令N(x): 是自然数，G(x,y): x大于y, 则原命题表示为: (?x)(N(x)?(?y)(N(y)∧G(y,x)． 例. 将语句“今天有雨雪，有些人会跌跤”符号化． 解 本语句可理解为“若今天下雨又下雪，则存在x，x是人且x会跌跤.” 令R: 今天下雨, S: 今天下雪, M(x)：x是人, F(x)：x会跌跤，则本语句可表示为: R∧S?(?x)(M(x)∧F(x)