第2章谓词逻辑.pptVIP

当谓词的变元与量词的指导变元不同时，也有类似的公式：如(?x)(A(x)∨B(y))?(?x)A(x)∨B(y).(?x)((?y)(P(x,y)∧Q(z))?(?x)(?y)P(x,y)∧Q(z).第61页，共91页，星期日，2025年，2月5日(3)量词分配律等价式：(见书P70)例：联欢会上所有的人既唱歌又跳舞；与联欢会上，所有人唱歌且所有人跳舞。(a)(?x)(A(x)∧B(x))?(?x)A(x)∧(?x)B(x)(b)(?x)(A(x)∨B(x))?(?x)A(x)∨(?x)B(x)(b)的证明：(?x)(?A(x)∧?B(x))?(?x)?A(x)∧(?x)?B(x)故?(?x)(A(x)∨B(x))??((?x)A(x)∨(?x)B(x))也即：(?x)(A(x)∨B(x))?(?x)A(x)∨(?x)B(x)。第62页，共91页，星期日，2025年，2月5日(4)多重量词等价式(a)(?x)(?y)A(x,y)?(?y)(?x)A(x,y)(b)(?x)(?y)A(x,y)?(?y)(?x)A(x,y)其中A(x,y)为含有x自由出现的任意公式。例A(x,y)表示x和y同姓；论域：x是甲村的人，y是乙村的人。(?x)(?y)A(x,y):甲村与乙村的所有人同姓。(?y)(?x)A(x,y)：乙村与甲村的所有人同姓。(?x)(?y)A(x,y)：甲村与乙村有人同姓。第63页，共91页，星期日，2025年，2月5日2.蕴涵式由于Ls中蕴涵式（或永真条件式）在Lp中都是逻辑有效的，而且使用代入规则得到蕴涵式也都是Lp中逻辑有效的。例如，(?x)P(x)?(?x)P(x)∨(?y)Q(y) 附加((?x)P(x)→Q(x,y))∧(?x)P(x)?Q(x,y) 假言推理第64页，共91页，星期日，2025年，2月5日②把每个原子命题分解成个体、谓词和量词；在全总论域讨论时，要给出特性谓词。③找出恰当量词。应注意全称量词(?x)后跟条件式，存在量词(?x)后跟合取式。④用恰当的联结词把给定命题表示出来。第29页，共91页，星期日，2025年，2月5日例2.2.1将命题“没有不犯错误的人”符号化。解令M(x):x是人;F(x):x犯错误，则原命题表示为：?(?x(M(x)∧?F(x))也可以表示为：(?x)(M(x)?F(x))。第30页，共91页，星期日，2025年，2月5日例2.2.2将命题“没有最大的自然数”符号化。解命题中“没有最大的”显然是对所有的自然数而言，所以可理解为“对所有的x，如果x是自然数，则一定还有比x大的自然数”，再具体点，即“对所有的x如果x是自然数，则一定存在y，y也是自然数，并且y比x大”。令N(x):x是自然数，G(x,y):x大于y，则原命题表示为：(?x)(N(x)?(?y)(N(y)∧G(y,x)))。第31页，共91页，星期日，2025年，2月5日例2.2.3将语句“今天有雨雪，有些人会跌跤”符号化。解本语句可理解为“若今天下雨又下雪，则存在x，x是人且x会跌跤”。令R:今天下雨，S:今天下雪，M(x):x是人，F(x):x会跌跤，则本语句可表示为：R∧S?(?x)(M(x)∧F(x))。由于人们对命题的文字叙述含意理解的不同，强调的重点不同，对个体性质的刻画深度不同，会影响到命题符号化的形式不同。第32页，共91页，星期日，2025年，2月5日例2.2.4“这只大红书柜摆满了那些古书”。解法1设F(x,y):x摆满了y;R(x):x是大红书柜；Q(y):y是古书;a:这只;b:那些.R(a)∧Q(b)∧F(a,b).解法2设A(x):x是书柜;B(x):x是大的;C(x):x是红的;D(y):y是古老的;E(y):y是书;F(x,y):x摆满了y;a:这只;b:那些.A(a)∧B(a)∧C(a)∧D(b)∧E(b)∧F(a,b).第33页，共91页，星期日，2025年，2月5日2.3约束变元与自由变元定义2.3.1给定一个谓词公式A，其中有一部分公式形如(?x)B(x)或(?x)B(x)，则称它为A的x约束部分，称B(x)为相应量词的作用域或辖域。在辖域中，x的所有出现称为约束出现，x称为约束变元；A中不是约束出现的其它个体变元的出现称为自由出现，这些个体变元称自由变元。自由变元可以看作是公式中的参数。第34页，共91页，星期日，2025年，