第1章 数理逻辑谓词逻辑精选PPT.ppt

《第1章 数理逻辑谓词逻辑精选PPT.ppt》由会员分享，可在线阅读，更多相关《第1章 数理逻辑谓词逻辑精选PPT.ppt（84页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、第1章 数理逻辑谓词逻辑第1页，此课件共84页哦1.61.8 谓词逻辑Predicate Logic第2页，此课件共84页哦问题的提出：(命题逻辑的局限性)n例：苏格拉底论断前提n“所有的人总是要死的”n“苏格拉底是人”结论n“所以苏格拉底是要死的”n命题逻辑中原子命题不可再分PQRPQR不是有效推理不是有效推理第3页，此课件共84页哦n例1：小张是大学生2：小李是大学生Q1：2大于3Q2：6大于4n命题逻辑无法反映不同原子命题间的内在共性n解决问题的方法分析原子命题，分离其主语和谓语考虑一般和个别，全称和存在第4页，此课件共84页哦1.6 谓词和量词谓词和量词n1.6.1 谓词谓词谓词的概念

2、和表示n在原子命题中，用来刻划一个个体的性质或个体之间关系的成分称为谓词谓词，刻划一个个体性质的词称为一元谓词一元谓词；刻划n个个体之间关系的词称为n元谓元谓词词n常用大写英文字母表示个体n能够独立存在的事物n通常用小写英文字母a、b、c、.表示个体常量n用小写英文字母x、y、z.表示任何个体，则称这些字母为个体变元个体变元第5页，此课件共84页哦n例例 1(a)5 是质数 (b)张明生于北京(c)7=32F(x)：x是质数G(x,y)：x生于y，a：张明，b：北京H(x,y,z)：x=yzF(5)G(a,b)H(7,3,2)谓词 个体词谓词命名式(谓词填式)变元的次序很重要变元的次序很重要第

3、6页，此课件共84页哦n谓词常元一个字母代表一特定谓词,例如F代表“是质数”,则称此字母为谓词常元n谓词变元若字母代表任意谓词,则称此字母为谓词变元n论域个体域谓词命名式中个体变元的取值范围空集不能作为论域第7页，此课件共84页哦命题函数n谓词命名式不是不是命题若谓词是常元个体词是常元谓词命名式才成为一个命题n谓词函数由一个谓词和若干个个体变元组成的命题形式称为简单命题函数简单命题函数，表示为P(x1,x2,xn)。由一个或若干个简单命题函数以及逻辑联结词组成的命题形式称为复合命题函数复合命题函数n=0时n命题变元命题变元第8页，此课件共84页哦n例 A(x)：x身体好 B(x)：x学习好 C

4、(x)：x工作好如果x身体不好，则x的学习与工作都不会好复合命题函数A(x)(B(x)C(x)第9页，此课件共84页哦1.6.2 量词n例“所有的正整数都是素数”“有些正整数是素数”n假设只有两个正整数a和b个体域为a,bP(x)：x是素数P(a)P(b)P(a)P(b)第10页，此课件共84页哦全称量词n记作n表示“每个”、“任何一个”、“一切”、“所有的”、“凡是”、“任意的”等nx读作“任意x”，“所有x”，“对一切x”n量词后边的个体变元，指明对哪个个体变元量化，称为量词后的指导变元指导变元n例所有人都是要死的D(x)：x是要死的个体域：所有人构成的集合x D(x)第11页，此课件共8

5、4页哦存在量词n记作 n表示“有些”、“一些”、“某些”、“至少一个”等n x读作“存在x”，“对某些x”或“至少有一x”n指导变元指导变元n例有些有理数是整数(x)：x是整数个体域：有理数集合x(x)第12页，此课件共84页哦全总个体域（全总域）n含有量词的命题的真值与论域有关n含有量词的命题的表达式的形式与论域有关n全总个体域全总个体域宇宙间所有的个体聚集在一起所构成的集合约定约定n除特殊说明外，均使用全总个体域n对个体变化的真正取值范围，用特性谓词特性谓词加以限制第13页，此课件共84页哦例1)所有的人都是要死的2)有的人活百岁以上D(x)：x是要死的G(x)：x活百岁以上n个体域E为全

6、体人组成的集合1)x D(x)2)x G(x)n全总个体域引入特性谓词M(x)：x是人1)x(M(x)D(x)2)x(M(x)G(x)第14页，此课件共84页哦特性谓词添加规则n对全称量词,特性谓词作为条件式之前件加入n对存在量词,特性谓词作为合取项而加入n例(a)没有不犯错误的人F(x)：x犯错误 M(x)：x是人 x(M(x)F(x)(b)凡是实数,不是大于零就是等于零或小于零R(x)：x是实数L(x,y)：xyE(x,y)：x=yS(x,y)：x yx(R(x)L(x,0)E(x,0)S(x,0)第15页，此课件共84页哦1.6.3 量化断言和命题的关系量化断言和命题的关系n假设论域有限

7、,不妨设论域D=1,2,3xP(x)？nxP(x)P(1)P(2)P(3)xP(x)？nxP(x)P(1)P(2)P(3)n若论域无限可数，概念可以推广第16页，此课件共84页哦1.6.4 谓词公式谓词公式n个体函数（函词）例n小王比他的父亲高 T(x，y)：x比y高a：小王b：小王的父亲T(a，b)无法显示个体之间的依赖关系定义函数nf(x)=x的父亲nT(a，f(a)第17页，此课件共84页哦n函词与谓词的区别函词中的个体变元用个体带入后的结果依然是个体nf(a)=小王的父亲谓词中的个体变元用确定的个体带入后就变成了命题nM(x)：x是人nM(a)：小王是人函词是论域到论域的映射nf:DD

8、谓词是从论域到T,F的映射nM:D T,F第18页，此课件共84页哦项和原子公式n项(item)表示个体定义(1)个体常量是项(2)个体变元是项(3)如果f是一个n(n1)元函词，其t1,t2,tn都是项，则f(t1,t2,tn)是项p例na,b,cnx,y,znf(x),g(a,f(y)第19页，此课件共84页哦n原子公式(atom)定义n若P是一个n元谓词，且t1,t2,tn是项，则P(t1,t2,tn)是原子命题词也是原子(n=0)例nP,Q(x),A(x,f(x),B(x,y,a)第20页，此课件共84页哦谓词演算的合式公式(Wff)n也叫谓词公式，简称公式n定义(1)原子公式是合式公

9、式(2)如果A、B是合式公式，则A、(AB)、(AB)、(AB)、(AB)都是合式公式(3)如果A是合式公式，x是中的任何个体变元，则x和x也是合式公式(4)有限次地使用规则(1)至(3)求得的公式是合式公式n例P，(PQ)，(Q(x)P)，x(A(x)B(x)，xC(x)第21页，此课件共84页哦命题符号化n谓词逻辑中比较复杂n命题的符号表达式与论域有关系例：每个自然数都是整数论域D=NnI(x)：x是整数nx I(x)论域为全总个体域n特性谓词N(x)：x是自然数nx(N(x)I(x)第22页，此课件共84页哦例：将下列命题符号化(1)所有大学生都喜欢一些歌星。S(x)：x是大学生，X(x

10、)：x是歌星，L(x,y)：x喜欢y x(S(x)y(X(y)L(x,y)(2)发光的不都是金子。P(x)：x发光，G(x)：x是金子x(P(x)G(x)或者x(P(x)G(x)(3)不是所有的自然数都是偶数。N(x)：x是自然数，E(x)：x是偶数x(N(x)E(x)或者x(N(x)E(x)第23页，此课件共84页哦(4)某些人对食物过敏F(x,y)：x对y过敏，M(x)：x是人，G(x)：x是食物 xy(M(x)G(y)F(x,y)(5)每个人都有些缺点 H(x,y)：x有y，M(x)：x是人，S(x)：x是缺点 x(M(x)y(S(y)H(x,y)(6)尽管有人聪明,但未必人人聪明 M(

11、x)：x是人，S(x)：x聪明 x(M(x)S(x)x(M(x)S(x)第24页，此课件共84页哦练习：将下列命题符号化(1)所有教练员都是运动员；(J(x)，L(x)(2)某些运动员是大学生；(S(x)(3)某些教练员是年老的，但是健壮的；(O(x)，V(x)(4)金教练虽不年老，但不健壮；(j)(5)不是所有运动员都是教练员；(6)某些大学生运动员是国家选手；(C(x)(7)没有一个国家选手不是健壮的；(8)所有老的国家选手都是运动员；(9)没有一位女同志既是国家选手又是家庭妇女；(W(x)，H(x)(10)有些女同志既是教练员又是国家选手；(11)所有运动员都钦佩某些教练员；(A(x,y

12、)(12)有些大学生不钦佩运动员。第25页，此课件共84页哦练习参考答案(1)x(J(x)L(x)(2)x(L(x)S(x)(3)x(J(x)O(x)V(x)(4)J(j)O(j)V(j)(5)x(L(x)J(x)或者 x(L(x)J(x)(6)x(S(x)L(x)C(x)(7)x(C(x)V(x)或者 x(C(x)V(x)(8)x(C(x)O(x)L(x)(9)x(W(x)C(x)H(x)(10)x(W(x)J(x)C(x)(11)x(L(x)y(J(y)A(x,y)(12)x(S(x)y(L(y)A(x,y)第26页，此课件共84页哦几个特别的例子(1)如果明天下雨下雨，则某些人将被淋湿

13、不是个体不是个体定义命题词P：明天下雨，M(x)：x是人，W(x)：x将被淋湿P x(M(x)W(x)(2)有且仅有有且仅有一个偶素数P(x)：x是偶素数 x(P(x)y(P(y)x=y)或者x(P(x)y(xyP(y)(3)顶多只有一台顶多只有一台机器是好的 P(x)：x是好机器用符号 !xP(x)表示有且仅有一个个体满足Pxy(P(x)P(y)x=y)用符号 !xP(x)表示顶多有一个个体满足P第27页，此课件共84页哦 (4)如果人都爱美，则漂亮衣服有销路 M(x)：x是人，L(x)：x爱美，C(x)：x是衣服，B(x)：x是漂亮的，S(x)：x有销路x(M(x)L(x)x(C(x)B(

14、x)S(x)问题一：前后两个x是否指同一个个体？答：前后两个x不是不是同一个个体问题二：若写成如下形式是否正确？x(M(x)L(x)y(C(y)B(y)S(y)答：是正确的正确的，显然x(M(x)L(x)x(C(x)B(x)S(x)x(M(x)L(x)y(C(y)B(y)S(y)第28页，此课件共84页哦1.6.5 自由变元与约束变元自由变元与约束变元n量词的作用域作用域(辖域辖域)定义定义：在谓词公式中，量词的作用范围称之为量词的作用域，也叫量词的辖域。例nxA(x)x的辖域为A(x)nx(P(x)Q(x)yR(x,y)x的辖域是(P(x)Q(x)yR(x,y)y的辖域为R(x,y)nxyz

15、(A(x,y)B(x,y,z)C(t)x x的辖域的辖域 z z的辖域的辖域 y y的辖域的辖域自由变元自由变元第29页，此课件共84页哦一般地，n如果量词后边只是一个原子谓词公式时，该量词的辖域就是此原子谓词公式。n如果量词后边是括号，则此括号所表示的区域就是该量词的辖域。n如果多个量词紧挨着出现，则后边的量词及其辖域就是前边量词的辖域。第30页，此课件共84页哦n约束变元如果个体变元x在x或者x的辖域内，则称x在此辖域内约束出现，并称x在此辖域内是约束变元n自由变元如果个体变元x不在任何量词的辖域内，则称x是自由出现，并称x是自由变元n例 x(F(x,y)yP(y)Q(z)F(x,y)中的

16、x和P(y)中的y是约束变元而F(x,y)中的y和Q(z)中的z是自由变元第31页，此课件共84页哦例：指出下列各公式中的量词辖域及自由变元和约束变元nxy(P(x)Q(y)zR(z)x的辖域y(P(x)Q(y)y的辖域P(x)Q(y)z的辖域R(z)nx(P(x,y)yQ(x,y,z)S(x,z)x的辖域P(x,y)yQ(x,y,z)其中x是约束变元y是自由变元y的辖域Q(x,y,z)其中y是约束变元x,z是自由变元S(x，z)中x，z是自由变元第32页，此课件共84页哦对约束变元和自由变元的几点说明n约束变元用什么符号表示无关紧要xA(x)与yA(y)是一样的 n一个谓词公式如果无自由变元

17、，它就表示一个命题例：A(x)表示x是个大学生xA(x)或者xA(x)是命题n一个n元谓词P(x1,x2,xn)，若在前边添加k个量词，使其中的 k个个体变元变成约束变元，则变成n-k元谓词函数第33页，此课件共84页哦nP(x,y,z)表示x+yz假设论域是整数集，xyP(x,y,z)表示？n“任意给定的整数x，都可以找到整数y，使得x+yz”。令z=1，则xyP(x,y,1)表示？n“任意给定的整数x，都可以找到整数y，使得x+y1”,。xyP(x,y,1)表示？例第34页，此课件共84页哦n不同个体以相同的符号出现容易产生混淆n例x(F(x,y)yP(y)Q(z)n约束变元的换名规则：1

18、.对约束变元可以更改名称，改名的范围是：量词后的指导变元以及该量词的辖域内此个体变元出现的各处同时换名。2.改名后用的个体变元名称，不能与该量词的辖域内的其它变元名称相同。约束变元换名第35页，此课件共84页哦nx(P(x)Q(x,y)(R(x)A(x)x以两种形式出现对x换名 z(P(z)Q(z,y)(R(x)A(x)nx(P(x,y)yQ(x,y,z)S(x,y)对x和y换名u(P(u,v)vQ(u,v,z)S(x,y)n错误u(P(u,y)zQ(u,z,z)S(x,y)n错误u(P(u,y)vQ(u,v,z)S(x,y)n正确例第36页，此课件共84页哦自由变元换名n自由变元也可以换名n

19、此换名叫代入n自由变元的代入规则：1.对谓词公式中的自由变元可以作代入。代入时需要对公式中出现该变元的每一处，同时作代入2.代入后的变元名称要与公式中的其它变元名称不同第37页，此课件共84页哦例nx(P(x)Q(x,y)(R(x)A(x)用z代替自由变元xx(P(x)Q(x,y)(R(z z)A(z z)nx(P(x,y)yQ(x,y,z)S(x,z)用w和t分别代自由变元x和yx(P(x,t t)yQ(x,y,z)S(w w,z)第38页，此课件共84页哦1.7 谓词演算的永真公式谓词演算的永真公式n谓词公式的解释1.指定一个论域D2.对A中出现的每一个n元函数，指定一个D上的 n元个体函

20、数常量3.对A中出现的每一个n元谓词，指定一个D上的n元谓词常量4.对A中出现的每一个个体常量及自由变元，指定D中的一个个体常量5.对A中出现的每一个命题变元P，指派一个真值T或F 由此得到一个命题AI，称AI的真值为合适公式A在解释I 下的真值第39页，此课件共84页哦例n取解释I如下：D=1,2,定义D上的二元谓词P真值为P(1,1):T；P(1,2):F；P(2,1):F；P(2,2):T 则xyP(x,y)和yxP(x,y)在解释I下的真值分别为?第40页，此课件共84页哦xyP(x,y)TTFFTTT212211xyP(x,y)yP(x,y)P(x,y)yx第41页，此课件共84页哦

21、yxP(x,y)TFFFFFT212211yx P(x,y)xP(x,y)P(x,y)xy第42页，此课件共84页哦例n取解释I如下：D=1,2,令 a:1,f(1)=2,f(2)=1定义D上的谓词P和Q为P(1):F；P(2):T；Q(1,1):T；Q(1,2):T；Q(2,1):F；Q(2,2):F求谓词公式x(P(x)Q(f(x),a)在解释I下的真值P(1)Q(f(1),1)P(2)Q(f(2),1)TTx(P(x)Q(f(x),a)在解释I下的真值为T第43页，此课件共84页哦谓词公式的永真式n定义定义 给定谓词公式A，E是其论域，如果在任何解释下公式A的真值都为真，则称公式A在论域

22、E上是永真式。如果不论对什么论域E，都使得公式A为永真式，则称A为永真式。例：I(x)：x是整数，论域E为自然数集合nI(x)在E上是永真式nI(x)I(x)是与论域无关的永真式n谓词公式的永假式n谓词公式的可满足式第44页，此课件共84页哦例：试说明以下公式的类型1.xA(x)A(y)2.xA(x)A(y)3.A(x)(A(x)：x+6=5)4.x(A(x)A(x)5.x(A(x)B(x)xA(x)xB(x)6.x(A(x)B(x)xA(x)xB(x)永真式 可满足式 可满足式永假式第45页，此课件共84页哦5.x(A(x)B(x)xA(x)xB(x)解 取解释I如下:D=1,2 A(1)B

23、(1)A(1)A(2)B(1)B(2)T F F TT A(2)B(2)T x(A(x)B(x)T x A(x)F x B(x)F则在 I 下 x A(x)x B(x)F所以在 I 下x(A(x)B(x)xA(x)xB(x)的真值为假，该式不是不是永真式第46页，此课件共84页哦6.x(A(x)B(x)xA(x)xB(x)解 取解释I如下:D=1,2A(1)A(2)B(1)B(2)F T T F或A(1)A(2)B(1)B(2)T F F T x A(x)x B(x)T x(A(x)B(x)F所以在 I 下x(A(x)B(x)xA(x)xB(x)的真值为假，该式不是不是永真式第47页，此课件共

24、84页哦谓词公式的等价n定义两个任意谓词公式A和B,E是它们公有的论域,若在任何解释下，A与B作的真值都相同(或者说AB是永真式)，则称公式A与B在论域E上是等价的。如果不论对什么论域E，都使得公式A与B等价，则称A与B等价，记作AB。例：I(x)：x是整数，N(x)：x是自然数，论域E是自然数集合nI(x)与N(x)在E上是等价的nN(x)I(x)N(x)I(x)第48页，此课件共84页哦谓词公式的蕴含n定义两个任意谓词公式A和B，E是它们的论域，若在任何解释下，都使得公式AB为永真式，则称在论域E上公式A永真蕴含B。如果不论对什么论域E，AB是永真式，则称A永真蕴含B，记作AB。例：G(x

25、)：x大于5，N(x)：表示x是自然数，论域E=-1,-2,6,7,8,9,.n在E上公式G(x)N(x)是永真式n(G(x)N(x)N(x)是与论域无关的永真式，所以(G(x)N(x)N(x)第49页，此课件共84页哦1.7.2 谓词演算的基本永真公式谓词演算的基本永真公式n命题演算的永真公式也是谓词演算的永真公式n含有量词的谓词演算的基本永真公式()xAA xAA()xP(x)P(y)或 xP(x)P(x)P(y)xP(x)或 P(x)xP(x)()量词的否定 xP(x)xP(x)xP(x)xP(x)量词转换公式第50页，此课件共84页哦例 xyz(x+z=y)xyz(x+z=y)xyz(

26、x+z=y)xy z(x+z=y)xy z(x+zy)第51页，此课件共84页哦()量词辖域的扩张和收缩1.xA(x)Px(A(x)P)2.xA(x)Px(A(x)P)3.xA(x)Px(A(x)P)4.xA(x)Px(x)P)5.PxA(x)x(PA(x)6.PxA(x)x(PA(x)7.xA(x)Px(A(x)P)8.xA(x)Px(A(x)P)P是不含个体变元x的谓词公式 证明式1：(逻辑推证)一方面，当P为F时，xA(x)Px(A(x)P)xA(x)另一方面，当P为T时，xA(x)Px(A(x)P)T第52页，此课件共84页哦(v)量词的分配形式1.x(A(x)B(x)xA(x)xB(

27、x)2.x(A(x)B(x)xA(x)xB(x)3.x(A(x)B(x)xA(x)xB(x)4.xA(x)xB(x)x(A(x)B(x)证明式1：个体域中每一个体x，使得 A(x)B(x)为真,等价于对一切x,A(x)是真并且对一切x,B(x)是真证明式2：由1得x(A(x)B(x)xA(x)xB(x)即 x(A(x)B(x)(xA(x)xB(x)故 x(A(x)B(x)xA(x)xB(x)第53页，此课件共84页哦n注意注意：公式3和4不是等价公式，而是永真蕴含式n例：给定如下解释nA(x)：x是奇数B(x)：x是偶数则 xA(x)xB(x)为真 x(A(x)B(x)为假所以xA(x)xB(

28、x)不蕴含不蕴含x(A(x)B(x)或nD=1,2nA(1):T A(2):F B(1):F B(2):T第54页，此课件共84页哦证明式3 x(A(x)B(x)xA(x)xB(x)证明：假设前件x(A(x)B(x)为真，则论域中至少有一个个体a，使得 A(a)B(a)为真，即A(a)和B(a)都为真，所以有xA(x)以及xB(x)为真，得xA(x)xB(x)为真 所以 x(A(x)B(x)xA(x)xB(x)第55页，此课件共84页哦证明公式4 xA(x)xB(x)x(A(x)B(x)证明：由3得 x(A(x)B(x)xA(x)xB(x)x(A(x)B(x)xA(x)xB(x)x(A(x)B

29、(x)(xA(x)xB(x)即xA(x)xB(x)x(A(x)B(x)公式4得证。特别要注意蕴含式的方向，不要搞错第56页，此课件共84页哦(vi)量词对及的处理1.x(A(x)B(x)xA(x)xB(x)2.xA(x)xB(x)x(A(x)B(x)证明1.xA(x)xB(x)xA(x)xB(x)xA(x)xB(x)x(A(x)B(x)x(A(x)B(x)证明2.xA(x)xB(x)xA(x)xB(x)xA(x)xB(x)x(A(x)B(x)x(A(x)B(x)第57页，此课件共84页哦(vii)关于多个量词的永真式1.xyA(x,y)yxA(x,y)2.xyA(x,y)yxA(x,y)3.y

30、xA(x,y)xyA(x,y)4.xyA(x,y)xyA(x,y)5.yxA(x,y)xyA(x,y)6.xyA(x,y)yxA(x,y)7.yxA(x,y)xyA(x,y)8.xyA(x,y)yxA(x,y)第58页，此课件共84页哦1.7.3 几条规则(命题演算的推广)n代入规则设A是命题逻辑中的永真式，则用谓词逻辑的合适公式代替A中的某些命题变元得到的代入实例也是永真式；如果A是永假式，则上述代入实例也是永假式例nA(x)A(x)B(x)PPQnx(A(x)B(x)x(A(x)B(x)PQPQn(xA(x)xB(x)xA(x)xB(x)摩根律第59页，此课件共84页哦n替换规则设A(x1

31、,x2,xn)B(x1,x2,xn),而A是公式C中的子公式,将B替换C中之A不必每一处得D,则CD。n对偶原理在公式A B或A B中,A,B仅含运算符,和,将上式中的全称量词与存在量词互换,与互换,T和F互换,则 A*B*,B*A*第60页，此课件共84页哦1.8 谓词演算的推理规则n谓词演算中推理的形式结构推理的形式结构仍为H1H2Hn C 若H1H2Hn C是永真式，则称前提H1，H2，Hn逻辑的推出结论C，其中H1，H2，Hn和C都是谓词公式n谓词演算中的推理规则命题演算中的推理规则，可在谓词推理理论中应用nP规则、T规则、CP规则n与量词有关的规则第61页，此课件共84页哦全称指定规

32、则 US(Universal Specialization)n又称全称示例规则n作用：去掉全称量词n两种形式：xA(x)A(y)xA(x)A(c)n使用此规则时要注意：（1）y为任意不在A(x)中约束出现的个体变元；（2）c为任意的个体常元n例：设A(x,y):xy 考查xyA(x,y)可得到结论yA(z,y)但不能得出结论yA(y,y)第62页，此课件共84页哦存在指定规则ES(Existential Specification)n又称存在示例规则n作用：去掉存在量词n形式：xA(x)A(c)n使用此规则时要注意：（1）c是使A为真的特定个体常元；（2）c不在A(x)中出现 （3）如果A(x

33、)中有其他自由变元出现，且x是随其他自由变元变化的，那么不能使用此规则n例：设A(x,y)：xy，考查如下推理过程是否正确xyA(x,y)yA(z,y)A(z,c)第63页，此课件共84页哦存在推广规则EG(Existential Generalization)n作用：添加存在量词n形式：A(c)xA(x)n使用此规则时注意：(1)c是个体域中某个确定的个体(2)代替c的x不能已在A(c)中出现n例：设A(x,y)：xy，对xyA(x,y)考查如下推理过程A(x,c)xA(x,x)错误第64页，此课件共84页哦全称推广规则UG(Universal Generalization)n作用：添加全称

34、量词n形式：A(y)xA(x)n使用此规则时注意：(1)y在A(y)中自由出现，且y取任何值时A均为真(2)x不在A(y)中约束出现n例：设A(x,y)：xy，考查如下推理过程 xA(x,y)x xA(x,x)错误第65页，此课件共84页哦量词四规则的使用限制条件n非常重要ES,US,EG,UG四条规则都只有在量词的作用四条规则都只有在量词的作用域是域是整个公式整个公式的情况下才能使用的情况下才能使用例：考察如下推理过程xP(x)yQ(y)xP(x)Q(c)ES或 P(z)yQ(y)US 错误错误！第66页，此课件共84页哦1.8.3 推理举例推理举例1.证明苏格拉底的三段论。令 M(x):x

35、是人。D(x):x是要死的。a:苏格拉底。符号化为：x(M(x)D(x),M(a)D(a)x(M(x)D(x)P M(a)D(a)US M(a)P D(a)T I 第67页，此课件共84页哦2.所有自然数都是整数。有些数是自然数。因此有些数是整数。A(x)：x是自然数，B(x)：x是整数。x(A(x)B(x)，xA(x)xB(x)x(A(x)B(x)P xA(x)P A(c)B(c)US A(c)ES B(c)T I xB(x)EG 一般先做存一般先做存在指定再做在指定再做全称指定全称指定第68页，此课件共84页哦 x(A(x)B(x)P xA(x)P A(c)ES A(c)B(c)US B(

36、c)T I xB(x)EG第69页，此课件共84页哦3.不认识错误的人，也不能改正错误。有些诚实的人改正了错误。所以有些诚实的人是认识了错误的人。设A(x):x是认识错误的人。B(x):x改正了错误。C(x):x是诚实的人。符号化为：x(A(x)B(x)，x(C(x)B(x),x(C(x)A(x)第70页，此课件共84页哦x(A(x)B(x),x(C(x)B(x)x(C(x)A(x)x(C(x)B(x)P C(c)B(c)ES C(c)T I B(c)T I x(A(x)B(x)P A(c)B(c)US A(c)T I A(c)T E C(c)A(c)T I x(C(x)A(x)EG 第71页

37、，此课件共84页哦观察以下推理过程，指出问题1：(1)xP(x)xQ(x)P (2)xP(x)T(1)I (3)xQ(x)T(1)I (4)P(c)ES(2)(5)Q(c)ES(3)(6)P(c)Q(c)T(4)(5)I (7)x(P(x)Q(x)EG(6)满足P的特定个体c能满足Q？事实上xP(x)xQ(x)x(P(x)Q(x)不成立不成立 第72页，此课件共84页哦观察以下推理过程，指出问题2：设D(x,y)表示“x可被y 整除”,个体域 为 5,7,10,11。因为D(5，5)和D(10,5)为真，所以xD(x,5)为真.因为D(7，5)和D(11,5)为假，所以xD(x,5)为假.有以

38、下推理过程(1)xD(x,5)P (2)D(z,5)T(1);ES (3)xD(x,5)T(2);UG 因此，xD(x,5)xD(x,5)第73页，此课件共84页哦4.一些病人喜欢所有医生。任何病人都不喜欢庸医。所以没有医生是庸医。设:P(x):x是病人,D(x):x是医生,Q(x):x是庸医,L(x,y):x喜欢y.符号化为：x(P(x)y(D(y)L(x,y)，x(P(x)y(Q(y)L(x,y)y(D(y)Q(y)第74页，此课件共84页哦 x(P(x)x(P(x)y y(D(y)L(x,y)(D(y)L(x,y)，x(P(x)x(P(x)y(y(Q(y)Q(y)L(x,y)L(x,y)

39、y(D(y)Q(y)y(D(y)Q(y)x(P(x)x(P(x)y y(D(y)L(x,y)P(D(y)L(x,y)P P(c)P(c)y y(D(y)L(c,y)ES(D(y)L(c,y)ES P(c)T I P(c)T I y y(D(y)L(c,y)T I(D(y)L(c,y)T I x(P(x)x(P(x)y(y(Q(y)Q(y)L(x,y)PL(x,y)P P(c)P(c)y(y(Q(y)Q(y)L(c,y)US L(c,y)US y(y(Q(y)Q(y)L(c,y)T IL(c,y)T I D(z)L(c,z)US D(z)L(c,z)US Q(z)Q(z)L(c,z)US L(c

40、,z)US L(c,z)L(c,z)Q(z)T EQ(z)T E D(z)D(z)Q(z)T IQ(z)T I D(z)D(z)Q(z)T EQ(z)T E (D(z)Q(z)T ED(z)Q(z)T E y y(D(y)Q(y)UG D(y)Q(y)UG y y(D(y)Q(y)T ED(y)Q(y)T E第75页，此课件共84页哦练习练习x(A(x)B(x),x(B(x)C(x),xC(x)xA(x)(1)x(A(x)B(x)P(2)A(c)B(c)ES(1)(3)x(B(x)C(x)P(4)B(c)C(c)US(3)(5)xC(x)P(6)C(c)US(5)(7)B(c)T(4)(6)I

41、(8)A(c)T(2)(7)I(9)xA(x)EG(8)第76页，此课件共84页哦5.x(P(x)Q(x)xP(x)xQ(x)xP(x)P(附加前提)x(P(x)Q(x)P P(c)Q(c)ES P(c)US Q(c)T I xQ(x)EG xP(x)xQ(x)CP第77页，此课件共84页哦用反证法证明5：x(P(x)Q(x)xP(x)xQ(x)(xP(x)xQ(x)P(假设前提)(xP(x)xQ(x)T E xP(x)xQ(x)T E xP(x)T I xQ(x)T I x(P(x)Q(x)P P(c)Q(c)ES P(c)US Q(c)T I xQ(x)EG xQ(x)xQ(x)T I第7

42、8页，此课件共84页哦练习分别用反证法和附加前提法证明：x(A(x)B(x)xA(x)xB(x)n反证法：(1)(xA(x)xB(x)P(假设前提)(2)xA(x)xB(x)T E(3)xA(x)T I(4)xB(x)T I(5)xA(x)T(3)E(6)xB(x)T(4)E(7)A(c)ES(5)(8)B(c)US(6)(9)x(A(x)B(x)P(10)A(c)B(c)US(9)(11)B(c)T(7)(10)I(12)B(c)B(c)T(8)(11)I第79页，此课件共84页哦n附加前提法：(1)xA(x)P(附加)(2)x(A(x)B(x)P(3)xA(x)T(1)E(4)A(c)ES

43、(3)(5)A(c)B(c)US(2)(6)B(c)T(4)(5)I(7)xB(x)EG(6)(8)xA(x)xB(x)CP(9)xA(x)xB(x)T(8)E第80页，此课件共84页哦用推理证明公式：yxA(x,y)xyA(x,y)y)yxA(x,y)P xA(x,c)ES A(z,c)US yA(a,y)y)EG xyA(x,y)UG 第81页，此课件共84页哦推理注意事项：推理注意事项：n注意使用ES、US、EG、UG的限制条件n对于同一个个体变元，既有带也有带的前提，去量词时，应先去后去，这样才可以特指同一个个体 cn添加和删去量词时，该量词必须是公式的最左边的量词，且此量词的前边无任

44、何符号，它的辖域作用到公式末尾(1)xP(x)yQ(y)P(2)xP(x)Q(b)ES(3)P(a)Q(b)US(2)错误的作法错误的作法(1)xP(x)yQ(y)P(2)xP(x)yQ(y)T(1)E(3)xP(x)yQ(y)T(2)E(4)xy(P(x)Q(y)T(3)E(5)y(P(a)Q(y)ES(4)(6)P(a)Q(b)ES(4)(7)P(a)Q(b)T(5)E正确的作法正确的作法第82页，此课件共84页哦xP(x)PP(c)US错误的作法错误的作法(1)xP(x)P(2)xP(x)T(1)E(3)P(c)ES(2)正确的作法正确的作法xyP(x,y)PxP(x,c)ES错误的作法错误的作法(1)xyP(x,y)P(2)yP(a,y)US(1)正确的作法正确的作法第83页，此课件共84页哦小结本章重点掌握内容：1.各基本概念清楚。2.会命题符号化。3.熟练掌握等价公式和永真蕴涵式。4.熟练掌握谓词逻辑的三种推理方法。第84页，此课件共84页哦