1、2019/10/9,1,北 京 交 通 大 学,软件学院 电子教案,离散结构,第五讲 谓词逻辑,在Ls中，把命题分解到原子命题为止，认为原子命题是不能再分解的，仅仅研究以原子命题为基本单位的复合命题之间的逻辑关系和推理。这样，有些推理用命题逻辑就难以确切地表示出来。例如，著名的亚里士多德三段论苏格拉底推理：,所有的人都是要死的， 苏格拉底是人， 所以苏格拉底是要死的。 根据常识，认为这个推理是正确的。但是，若用Ls来表示，设P、Q和R分别表示这三个原子命题，则有 P，QR,然而，(PQ)R并不是永真式，故上述推理形式又是错误的。一个推理，得出矛盾的结论，问题在哪里呢? 问题就在于这类推理中，各
2、命题之间的逻辑关系不是体现在原子命题之间，而是体现在构成原子命题的内部成分之间，即体现在命题结构的更深层次上。对此，Ls是无能为力的。所以，在研究某些推理时，有必要对原子命题作进一步分析，分析出其中的个体词，谓词和量词，研究它们的形式结构的逻辑关系、正确的推理形式和规则，这些正是谓词逻辑（简称为Lp）的基本内容。,5.1 个体、谓词和量词 5.2 谓词公式与翻译 5.3 约束变元与自由变元 5.4 公式解释与类型 5.5 等价式与蕴涵式 5.6 谓词公式范式 5.7 谓词逻辑的推理理论,5.1 个体、谓词和量词,在Lp中，命题是具有真假意义的陈述句。从语法上分析，一个陈述句由主语和谓语两部分组
3、成。在Lp中，为揭示命题内部结构及其不同命题的内部结构关系，就按照这两部分对命题进行分析，并且把主语称为个体或客体，把谓语称为谓词。,.个体、谓词和命题的谓词形式 定义5.1.1 在原子命题中，所描述的对象称为个体；用以描述个体的性质或个体间关系的部分，称为谓词。 个体，是指可以独立存在的事物，它可以是具体的，也可以是抽象的，如张明，计算机，精神等。表示特定的个体，称为个体常元，以a，b，c或带下标的ai，bi，ci表示；表示不确定的个体，称为个体变元，以x，y，z或xi，yi，zi表示。,谓词，当与一个个体相联系时，它刻划了个体性质；当与两个或两个以上个体相联系时，它刻划了个体之间的关系。表
4、示特定谓词，称为谓词常元，表示不确定的谓词，称为谓词变元，都用大写英文字母，如P，Q，R，或其带上、下标来表示。在本书中，不对谓词变元作更多地讨论。,对于给定的命题，当用表示其个体的小写字母和表示其谓词的大写字母来表示时，规定把小写字母写在大写字母右侧的圆括号( )内。例如，在命题“张明是位大学生”中，“张明”是个体，“是位大学生”是谓词，它刻划了“张明”的性质。设S：是位大学生，c：张明，则“张明是位大学生”可表示为S(c)，或者写成S(c)：张明是位大学生。又如，在命题“武汉位于北京和广州之间”中，武汉、北京和广州是三个个体，而“位于和之间”是谓词，它刻划了武汉、北京和广州之间的关系。设P
5、：位于和之间，a：武汉，b：北京，c：广州，则P(a，b，c)：武汉位于北京和广州之间。,定义5.1.2 一个原子命题用一个谓词(如P)和n个有次序的个体常元(如a1，a2，an)表示成P(a1，a2，an)，称它为该原子命题的谓词形式或命题的谓词形式。 应注意的是，命题的谓词形式中的个体出现的次序影响命题的真值，不是随意变动，否则真值会有变化。如上述例子中，P(b,a,c)是假。,.原子谓词公式 原子命题的谓词形式还可以进一步加以抽象，比如在谓词右侧的圆括号内的n个个体常元被替换成个体变元，如x1,x2,xn，这样便得了一种关于命题结构的新表达形式，称之为n元原子谓词。 定义5.1.3 由一
6、个谓词(如P)和n个体变元(如x1，x2，xn)组成的P(x1，x2，xn)，称它为n元原子谓词或n元命题函数，简称n元谓词。而个体变元的论述范围，称为个体域或论域。,当n=1时，称一元谓词；当n=2时，称为二元谓词，。特别地，当n=0，称为零元谓词。零元谓词是命题，这样命题与谓词就得到了统一。,n元谓词不是命题，只有其中的个体变元用特定个体或个体常元替代时，才能成为一个命题。但个体变元在哪些论域取特定的值，对命题的真值极有影响。例如，令S(x)：x是大学生。若x的论域为某大学的计算机系中的全体同学，则S(x)是真的；若x的论域是某中学的全体学生，则S(x)是假的；若x的论域是某剧场中的观众，
7、且观众中有大学生也有非大学生的其它观众，则S(x)是真值是不确定的。,通常，把一个n元谓词中的每个个体的论域综合在一起作为它的论域，称为n元谓词的全总论域。定义了全总论域，为深入研究命题提供了方便。当一个命题没有指明论域时，一般都从全总论域作为其论域。而这时又常常要采用一个谓词如P(x)来限制个体变元x的取值范围，并把P(x)称为特性谓词。,.量词 利用n元谓词和它的论域概念，有时还是不能用符号来很准确地表达某些命题，例如S(x)表示x是大学生，而x的个体域为某单位的职工，那么S(x)可表示某单位职工都是大学生，也可表示某单位有一些职工是大学生，为了避免理解上的歧义，在Lp中，需要引入用以刻划
8、“所有的”、“存在一些”等表示不同数量的词，即量词，其定义如下：,定义5.1.4 符号称为全称量词符，用来表达“对所有的”、“每一个”、“对任何一个”、“一切”等词语；x称为全称量词，称x为指导变元。 符号称为存在量词符，用来表达“存在一些”、“至少有一个”、“对于一些”、“某个”等词语；x称为存在量词，x称为指导变元。,符号!称为存在唯一量词符，用来表达“恰有一个”、“存在唯一”等词语；!x称为存在唯一量词，称x为指导变元。 全称量词、存在量词、存在唯一量词统称量词。量词记号是由逻辑学家Fray引入的，有了量词之后，用逻辑符号表示命题的能力大大加强了。,例5.1.1 试用量词、谓词表示下列命
9、题： 所有大学生都热爱祖国； 每个自然数都是实数； 一些大学生有远大理想； 有的自然数是素数。,解 令S(x)：x是大学生，L(x)：x热爱祖国，N(x)：x是自然数，R(x)：x是实数，I(x)：x有远大理想，P(x)：x是素数。 则例中各命题分别表示为： (x)(S(x)L(x) (x)(N(x)R(x) (x)(S(x)I(x) (x)(N(x)P(x),在该例的解答中，由于命题中没有指明个体域，这便意味着各命题是在全总论域中讨论，因而都使用了特性谓词，如S(x)、N(x)。而且还可以看出，量词与特性谓词的搭配还有一定规律，即全称量词后跟一个条件式，而特性谓词作为其前件出现；存在量词后跟
10、一个合取式，特性谓词作为一个合取项出现。,如果在解答时，指明了个体域，便不用特性谓词，例如在、中令个体域为全体大学生，和中的个体域为全部自然数，则可符号化为： (x)L(x) (x)R(x) (x)I(x) (x)P(x),谓词前加上了量词，称为谓词的量化。若一个谓词中所有个体变元都量化了，则该谓词就变成了命题。这是因为在谓词被量化后，可以在整个个体域中考虑命题的真值了。这如同数学中的函数f(x)， 的值是不确定的，但 可确定其值。,5.2 谓词公式与翻译,.谓词公式 为了方便处理数学和计算机科学的逻辑问题及谓词表示的直觉清晰性，将引进项的概念。 定义5.2.1 项由下列规则形成： 个体常元和
11、个体变元是项； 若f是n元函数，且t1，t2，tn是项，则f(t1，t2，tn)是项； 所有项都由和生成。,有了项的定义，函数的概念就可用来表示个体常元和个体变元。例如，令f(x,y)表示x+y，谓词N(x)表示x是自然数，那么f(2,3)表示个体自然数5，而N(f(2,3)表示5是自然数。这里函数是就广义而言的，例如P(x):x是教授，f(x):x的父亲，c:张强，那么P(f(c)便是表示“张强的父亲是教授”这一命题。,函数的使用给谓词表示带来很大方便。例如，用谓词表示命题：对任意整数x，x2-1=(x+1)(x-1)是恒等式。令I(x):x是整数，f(x)=x2-1，g(x)=(x+1)(
12、x-1)，E(x,y):x=y，则该命题可表示成：(x)(I(x)E(f(x),g(x)。,定义5.2.2 若P(x1，x2，xn)是n元谓词，t1，t2，tn是项，则称P(t1，t2，tn)为Ls中原子谓词公式，简称原子公式。 下面，由原子公式出发，给出Lp中的合式谓词公式的归纳定义。,定义5.2.3 合式谓词公式当且仅当由下列规则形成的符号串 原子公式是合式谓词公式； 若A是合式谓词公式，则(A)是合式谓词公式； 若A，B是合式谓词公式，则(AB)，(AB)，(AB)和(AB)都是合式谓词公式； 若A是合式谓词公式，x是个体变元，则(x)A、(x)A都是合式谓词公式； 仅有有限项次使用、和
13、形成的才是合式谓词公式。,.谓词逻辑的翻译 把一个文字叙述的命题，用谓词公式表示出来，称为谓词逻辑的翻译或符号化；反之亦然。一般说来，符号化的步骤如下： 正确理解给定命题。必要时把命题改叙，使其中每个原子命题、原子命题之间的关系能明显表达出来。,把每个原子命题分解成个体、谓词和量词；在全总论域讨论时，要给出特性谓词。 找出恰当量词。应注意全称量词(x)后跟条件式，存在量词(x)后跟合取式。 用恰当的联结词把给定命题表示出来。,例5.2.2 将命题“没有最大的自然数”符号化。 解 命题中“没有最大的”显然是对所有的自然数而言，所以可理解为“对所有的x，如果x是自然数，则一定还有比x大的自然数”，
14、再具体点，即“对所有的x如果x是自然数，则一定存在y，y也是自然数，并且y比x大”。令N(x):x是自然数，G(x,y):x大于y，则原命题表示为：(x)(N(x)(y)(N(y)G(y,x)。,例5.2.3 将语句“今天有雨雪，有些人会跌跤”符号化。 解 本语句可理解为“若今天下雨又下雪，则存在x，x是人且x会跌跤”。令R:今天下雨，S:今天下雪，M(x):x是人，F(x):x会跌跤，则本语句可表示为：RS(x)(M(x)F(x)。 由于人们对命题的文字叙述含意理解的不同，强调的重点不同，会影响到命题符号化的形式不同。,5.3 约束变元与自由变元,定义5.3.1 给定一个谓词公式A，其中有一
15、部分公式形如(x)B(x)或(x)B(x)，则称它为A的x约束部分，称B(x)为相应量词的作用域或辖域。在辖域中，x的所有出现称为约束出现，x称为约束变元；B中不是约束出现的其它个体变元的出现称为自由出现，这些个体变元称自由变元。,对于给定的谓词公式，能够准确地判定它的辖域、约束变元和自由变元是很重要的。 通常，一个量词的辖域是某公式A的一部分，称为A的子公式。因此，确定一个量词的辖域即是找出位于该量词之后的相邻接的子公式，具体地讲：,若量词后有括号，则括号内的子公式就是该量词的辖域； 若量词后无括号，则与量词邻接的子公式为该量词的辖域。 判定给定公式A中个体变元是约束变元还是自由变元，关键是
16、要看它在A中是约束出现，还是自由出现。,今后常用元语言符号A(x)表示x是其中的一个个体变元自由出现的任意公式，如A(x)可为P(x)Q(x)，P(x)(y)Q(x,y)等。一旦在A(x)前加上量词(x)或(x)，即得公式(x)A(x),或(x)A(x)。这时，x即是约束出现了。类似地，用A(x,y)表示x和y是自由出现的公式。,定义5.3.2 设A为任意一个公式，若A中无自由出现的个体变元，则称A为封闭的合式公式，简称闭式。 由闭式定义可知，闭式中所有个体变元均为约束出现。例如，(x)(P(x)Q(x)和(x)(y)(P(x)Q(x,y)是闭式，而(x)(P(x)Q(x,y)和(y)(z)L
17、(x,y,z)不是闭式。,从下面讨论可以看出，在一公式中，有的个体变元既可以是约束出现，又可以是自由出现，这就容易产生混淆。为了避免混淆，采用下面两个规则： 约束变元改名规则，将量词辖域中某个约束出现的个体变元及相应指导变元，改成本辖域中未曾出现过的个体变元，其余不变。 自由变元代入规则，对某自由出现的个体变元可用个体常元或用与原子公式中所有个体变元不同的个体变元去代入，且处处代入。,改名规则与代入规则的共同点都是不能改变约束关系，而不同点是： 施行的对象不同。改名是对约束变元施行，代入是对自由变元施行。 施行的范围不同。改名可以只对公式中一个量词及其辖域内施行，即只对公式的一个子公式施行；而
18、代入必须对整个公式同一个自由变元的所有自由出现同时施行，即必须对整个公式施行。, 施行后的结果不同。改名后，公式含义不变，因为约束变元只改名为另一个个体变元，约束关系不改变。约束变元不能改名为个体常元；代入，不仅可用另一个个体变元进行代入，并且也可用个体常元去代入，从而使公式由具有普遍意义变为仅对该个体常元有意义，即公式的含义改变了。,上面讲了约束变元改名规则和自由变元代入规则。有时在一公式A(x)中，也会用项t替代个体变元x，那么如何做才能不引起量词和辖域间关系发生变化？或者说，替代后结果与替代前在直觉解释上没有区别这就需要引入项t对A(x)中的x是自由的概念。,定义5.3.3 令A是任意合
19、式公式，x为自由出现。如果x不出现A中项t所含的任意个体变元y的量词(y)或(y)的辖域内，称项t对A中的x是自由的。 例如，取A为(x)B(x,y)(z)C(x,z)，则项f(x,w)对y不是自由的，项g(y,z)对y是自由的，项h(x,z)不是自由的，项y对x是自由的。 由定义可知，对任何公式A和任意个体变元x，不管x在A中是否自由出现，x对A中的x是自由的。,5.4 公式解释与类型,1公式解释 一般情况下，Lp中的公式含有：个体常元、个体变元（约束变元或自由变元）、函数变元、为谓词变元等，对各种变元用指定的特殊常元去代替，就构成了一个公式的解释。当然在给定的解释下，可以对多个公式进行解释
20、。下面给出解释的一般定义。,定义5.4.1 一个解释I由下面4部分组成： 非空个体域DI。 DI中部分特定元素a，b，。 DI上的特定一些函数f，g，。 DI上特定谓词：P，Q，。 在一个具体解释中，个体常元、函数符号、谓词符号的数量一般是有限的，并且其解释一旦确定下来就不再改变，只是个体变元的值在个体域DI内变化，量词符或仅作用于DI中的元素。,2公式类型 定义5.4.2 若一公式在任何解释下都是真的，称该公式为逻辑有效的，或永真的。 若一公式在任何解释下都是假的，称该公式为矛盾式，或永假式。 若一公式至少存在一个解释使其为真，称该公式为可满足式。,从定义可知，逻辑有效式为可满足式，反之未必
21、成立。 与命题公式中分类一样，谓词公式也分为三种类型，即逻辑有效式（或重言式）、矛盾式（或永假式）和可满足式。,由于谓词公式的复杂性和解释的多样性，至今还没有一个可行的算法判定任何公式的类型。早在1936年，Churen和Turing各自独立地证明了：对于Lp，其判定问题是不可解的。但是，Lp是个半个可判定的，即若Lp中公式是重言式，则存在算法在有限步骤内能验证它。当然，对于一些较为简单的公式，或某些特殊公式，还是可以判定其类型的。,下面讨论代入规则的扩展，因为它对判定重言式这种公式类型是很有用的。 在2.3节中，介绍了自由变元的代入规则，实际上代入规则并非只局限于自由变元，对公式中命题变元、
22、谓词变元均可实施代入，其关键是不能因为代入而改变原有公式的约束关系。今将谓词变元（包括命题变元）代入规则叙述如下：,在一公式中，一个n元(n0)谓词变元P(x1,x2,xn)可以代至少有n个自由变元的公式B(y1,y2,yn,yn+1,yn+2,yn+r)，其中r0，y1,y2,yn是分别对应于x1,x2,xn的任意选定的n个自由变元，且对P出现进行处处代入，B中的r个自由变元不允许在原公式中以约束出现，P中的个体变元也不允许在B中以约束出现。 为保证代入规则顺利而正确地实行，常常对约束变元改名而适应之。,5.5 等价式与蕴涵式,1等价式 定义5.5.1 设A、B为任意两个公式，若AB为逻辑有
23、效的，则称A与B是等价的，记为AB，称AB为等价式。 由于重言式(永真式)都是逻辑有效的，可见1.3节中的命题定律（基本等价式）都是Lp 等价式。,此外，还有一置换规则： 设(A)是含有A出现的公式，(B)是用公式B替换若干个公式A的结果。若AB，则(A) (B)。 显然，若(A)为重言式，则(B)也是重言式。,下面给出涉及量词的一些等价式，它们的证明略去了。 (1) 量词否定等价式： (a)(x)A(x)A (b)(x)A(x)A,这两个等价式，可用量词的定义给予说明。由于“并非对一切x，A为真”等价于“存在一些x，A为真”，故(a)成立。由于“不存在一些x，A为真”等价于“对一切x，A为真
24、”，所以(b)成立。这两个等价式的意义是：否定联结词可通过量词深入到辖域中。对比这两个式子，容易看出，将(x)与(x)两者互换，可从一个式子得到另一个式子，这表明(x)与(x)具有对偶性。另外，由于这两个公式成立也表明了，两个量词是不独立的，可以互相表示，所以只有一个量词就够了。,对于多重量词前置“”，可反复应用上面结果，逐次右移。例如， (x)(y)(z)P(x,y,z)(x)(y)(z)P(x,y,z) （2） 量词辖域缩小或扩大等价式 设B是不含x自由出现，A(x)为有x自由出现的任意公式，则有：,(a) (x)(A(x)B)(x)A(x)B (b) (x)(A(x)B)(x)A(x)B
25、 (c) (x)(A(x)B)(x)A(x)B (d) (x)(BA(x)B(x)A(x) (e) (x)(A(x)B)(x)A(x)B (f) (x)(A(x)B)(x)A(x)B (g) (x)(A(x)B)(x)A(x)B (h) (x)(BA(x)B(x)A(x)。,(3) 量词分配律等价式： (a) (x)(A(x)B(x)(x)A(x)(x)B(x) (b) (x)(A(x)B(x)(x)A(x)(x)B(x) 其中，A(x)，B(x)为有x自由出现的任何公式。 (4) 多重量词等价式 (a) (x)(y)A(x,y)(y)(x)A(x,y) (b) (x)(y)A(x,y)(y)
26、(x)A(x,y) 其中A(x,y)为含有x自由出现的任意公式。,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) 假言推理,下面将给出Lp中的一些蕴涵式，其证明省略了。 (1) (a)(x)A(x)(x)B(x)(x)(A(x)B(x) (b) (x)(A(x)B(x)(x)A(x)(x)B(x) (c) (x)(A(x)B(x)(x)A(x)(x)B(x) (d) (x)(A(x)B(x)(x)A(x)(x)
27、B(x) 其中，A(x)和B(x)为含有x自由出现的任意公式。,(2) (a) (x)(y)A(x，y)(x)A(x，x)(b) (x)A(x，x)(x)(y)A(x，y)(c) (x)(y)A(x，y)(y)(x)A(x，y)(d) (y)(x)A(x，y)(x)(y)A(x，y)(e) (x)(y)A(x，y)(y)(x)A(x，y) 其中，A(x，y)为含有x、y的自由出现的任意公式。,5.6 谓词公式范式,.前束范式 定义2.9.1 一个合式公式称为前束范式，如果它有如下形式： (Q1x1)(Q2x2)(Qkxk)B 其中Qi(1ik)为或，B为不含有量词的公式。称Q1x1Q2x2Qk
28、xk为公式的首标。 特别地，若中无量词，则也看作是前束范式。,可见，前束范式的特点是，所有量词均非否定地出现在公式最前面，且它的辖域一直延伸到公式之末。 例如，(x)(y)(z)(P(x,y)Q(y,z),R(x,y)等都是前束范式，而(x)P(x)(y)Q(y)，(x)(P(x)(y)Q(x,y)不是前束范式。 定理5.6.1 (前束范式存在定理) Lp中任意公式A都有与之等价的前束范式。,.斯柯林范式 前束范式的的优点是全部量词集中在公式前面，其缺点是各量词的排列无一定规则，这样当把一个公式化归为前束范式时，其表达形式会显现多种情形，不便应用。1920年斯柯林(Skolem)提出对前束范式
29、首标中量词出现的次序给出规定：每个存在量词均在全称量词之前。按此规定得到的范式形式，称为斯柯林范式。显然，任一公式均可化为斯柯林范式。它的优点是：全公式按顺序可分为三部分，公式的所有存在量词、所有全称量词和辖域。这给Lp的研究提供了一定的方便。,5.7 谓词逻辑的推理理论,Lp是Ls的进一步深化和发展，因此Ls的推理理论在Lp中几乎可以完全照搬，只不过这时涉及的公式是Lp的公式罢了。在Lp中，某些前提和结论可能受到量词的约束，为确立前提和结论之间的内部联系，有必要消去量词和添加量词，因此正确理解和运用有关量词规则是Lp推理理论中十分重要的关键所在。,下面在介绍有关量词规则之前做些必要准备。作为
30、定义5.3.3的一种特例，将给出A(x)对y是自由的这个概念。其目的是，允许用y代入x后得到A(y)，它不改变原来公式A(x)的约束关系。 定义5.7.1 在谓词公式A(x)中，若x不自由出现在量词(y)或(y)的辖域， 则称A(x)对于y是自由的。 由定义可知，若y在A(x)中不是约束出现，则A(x)对于y一定是自由的。,.有关量词消去和产生规则 量词消去规则： (1) 全称量词消去规则(简称UI或US规则) 有两种形式：(x)A(x)A(c) 其中c为任意个体常元(x)A(x)A(y) A(x)对y是自由的,(2) 存在量词消去规则(简称EI或ES规则) 有两种形式：(x)A(x)A(c)
31、 其中c为特定个体常元 (x)A(x)A(y) 成立充分条件是：c或y不得在前提中或者居先推导公式中出现或自由出现；若A(x)中有其它自由变元时，不能应用本规则。 值得注意的是，A(y)只是新引入的暂时假设，它不是对y的一切值都是成立的。y是一个暂时的、表面上的自由变元。,量词产生规则： (3) 存在量词产生规则(简称EG规则) 有两种形式：A(c)(y)A(y) 其中c为特定个体常元A(x)(y)A(y) 成立充分条件：取代c的个体变元y不在A(c)中出现；A(x)对y 是自由的；若A(x)是推导行中的公式，且x是由使用EI引入的，那么不能用A(x)中除x外的个体变元作约束变元，或者说，y不
32、得为A(x)中的个体变元。,(4) 全称量词产生规则(简称UG规则) A(x)(y)A(y) 成立条件：前提A(x)对于x的任意取值都成立；A(x)对y是自由的；对于由于使用EI 规则所得到的公式中原约束变元及与其在同一个原子公式的自由变元，都不能使用本规则而成为指导变元，否则将产生错误推理。,Lp中推理实例 Lp的推理方法是Ls推理方法的扩展，因此在Lp中利用的推理规则也是T规则、P规则和CP规则，还有已知的等价式，蕴涵式以及有关量词的消去和产生规则。使用的推理方法是直接构造法和间接证法。,例5.7.7 试证明下面苏格拉底论证： 所有人都是要死的， 苏格拉底是人， 因此，苏格拉底是要死的。 证明 令M(x):x是人，D(x):x是要死的，s:苏格拉底，原题可符号化为： (x)(M(x)D(x)，M(s)D(s),推证如下： 1 （1） (x)(M(x)D(x) P 1 （2） M(s)D(s) UI，（1） 3 （3） M(s) P 1，3 （4） D(s) T,(2),(3),I,
