第2章 谓词逻辑

第,2,章 谓词逻辑,第,2,章 谓词逻辑,2.1,个体、谓词与量词,2.2,谓词公式,2.3,谓词演算的等价式与蕴含式,2.4,前束范式,2.5,谓词逻辑的推理理论,返回总目录,第,2,章,谓词逻辑,2.1,个体、谓词与量词,2.1.1,个体,考察下面的三个原子命题：,李玲是优秀共产党员。,张华比李红高。,小高坐在小王和小刘的中间。,上述命题中的李玲、张华、李红、小高、小王、小刘等客体就是个体。所以可以这样说，个体是指所研究对象中可以独立存在的具体的或抽象的客体。,它可以是独立存在的人或物体，也可以是抽象的概念，如,“,马列主义,”,，,“,资本主义,”,等。个体常用小写英文字母或小写英文字母带下标表示，叫做个体标识符。,表示具体或特定个体的标识符称作个体常元，一般用小写英文字母,a、b,、,c,、,或这些英文字母带下标表示。例如：李玲、张华、李红、小高、小王、小刘可如下表示：,a,：,李玲,b,：,张华,c,：,李红,d,：,小高,e,：,小王,f,：,小刘,a,b,c,d,e,f,都是个体常元。,将表示任意个体或泛指某类个体的标识符称为个体变元，常表示为,x,、,y,、,z,、,等或这些英文字母带下标。,个体变元的变化范围称为个体域或论域。个体域可以是有穷集合，也可以是无穷集合，包含任意个体域的个体域称为全总个体域，它是由宇宙间一切对象组成的集合。在本书中，如无特别说明，所采用的都是全总个体域。,2.1.2,谓 词,在上面的三个原子命题中，可以分解成为个体,“,李玲,”,和,“,是优秀共产党员,”,两部分。,“,是优秀共产党员,”,是用来描述个体,“,李玲,”,的性质的；可以分解成为个体,“,张华,”,、,“,李红,”,和,“,比,高,”,两部分。,“,比,高,”,是用来描述个体,“,张华,”,和,“,李红,”,的身高关系的；可以分解成为个体,“,小高,”,、,“,小王,”,、,“,小刘,”,和,“,坐在,和,的中间,”,两部分。,“,坐在,和,的中间,”,是用来描述个体,“,小高,”,、,“,小王,”,、,“,小刘,”,的位置关系的。这些刻划个体性质或几个个体关系的模式叫做谓词。谓词常用大写英文字母表示，叫做谓词标识符。,例如可以用,F,，,G,，,H,表示上面三个命题中谓词：,F,：,是优秀共产党员。,G,：,比,高。,H,：,坐在,和,的中间,。,把与一个个体相关联的谓词叫做一元谓词。,F,是一元谓词；把与两个个体相关联的谓词叫做二元谓词。,G,是二元谓词；把与三个个体相关联的谓词叫做三元谓词。,H,是三元谓词；,。一般的，把与,n,个个体相关联的谓词叫做,n,元谓词。,设,F,是一元谓词，,a,是个体常元，用,F,(,a,),表示个体常元,a,具有性质,F,；设,G,是二元谓词，,a,b,是个体常元，用,G,(,a,b,),表示个体常元,a,和,b,具有关系,G,；,于是上面三个命题就表示为：,F,(,a,),：,李玲是优秀共产党员。,G,(,b,c,),：,张华比李红高。,H,(,d,e,f,),：,小高坐在小王和小刘的中间。,将谓词后面填上相关联的个体常元所得的式子叫做谓词填式。,F,(,a,),，,G,(,b,c,),，,H,(,d,e,f,),都是谓词填式。谓词填式表示的是命题。,类似的，用,F,(,x,),表示个体变元,x,具有性质,F,；,用,G,(,x,y,),表示个体变元,x,和,y,具有关系,G,；,，,用,P,(,x,1,x,2,x,n,)(,n,1),表示个体变元,x,1,x,2,x,n,具有关系,P,。,如果谓词后面有,n,个个体变元，则称为,n,元命题函数。例如,F,(,x,),、,G,(,x,，,y,),、,P,(,x,1,x,2,x,n,),分别叫做一元命题函数、二元命题函数、,n,元命题函数,(,n,1),。,因为命题函数中包含个体变元，因此命题函数没有确定的真值，它不是命题。只要用个体常元取代所有的个体变元，就得到了命题。,例如，用,H,(,x,y,)：,x,+,y,0,，,显然此命题函数不是命题，因为它无法判断真假。令,a,：5,b,：7,用,a,b,分别取代,x,y,，,就得到,H,(,a,b,)，,它表示5+(7)0，这是个假命题，它的真值为假。,其实，用个体常元取代命题函数的所有个体变元所得到的表达式就是前面所说的谓词填式。因为它由个体常元取代命题函数中所有的个体变元而得到，所以也把谓词填式,叫做,0元命题函数。,F,(,a,)，,G,(,b,c,)，,H,(,d,e,f,),都是0元命题函数，它们都是命题。于是命题逻辑中的命题均可以表示为谓词逻辑中的0元命题函数(谓词填式)，命题成为命题函数的特例。,【例2.1】将下列命题符号化，并讨论它们的真值。, 2与3都是偶数。, 如果5大于3，则2大于6。,解：, 设,F,(,x,)：,x,是偶数。,a,：2,，,b,：3,该命题符号化为：,F,(,a,),F,(,b,),F,(,b,),表示3是偶数，它是个假命题。所以,F,(,a,),F,(,b,),为假。, 设,G,(,x,y,)：,x,大于,y,a,：5,，,b,：3,，,c,：2,，,d,：6,该命题符号化为：,G,(,a,b,),G,(,c,d,),G,(,a,b,),表示5大于3，它是真命题。,G,(,c,d,),表示2大于6，这是个假命题。所以,G,(,a,b,),G,(,c,d,),为假。,2.1.3,量词,量词分两种。,全称量词,日常生活和数学中常用的,“,一切的,”,，,“,所有的,”,，,“,每一个,”,，,“,任意的,”,，,“,凡,”,，,“,都,”,等词统称为全称量词，将它们符号化为,“,”,。并用,(,x,),，,(,y,),等表示个体域里的所有个体，而用,(,x,),F,(,x,),和,(,y,),G,(,y,),等分别表示个体域中的所有个体都有性质,F,和都有性质,G,。,存在量词,“,存在,”,，,“,有一个,”,，,“,有些,”,，,“,至少有一个,”,等词统称为存在量词,，,将它们符号化为,“,”,。,并用(,x,)，(,y,),等表示个体域里有些个体，而用(,x,),F,(,x,),和(,y,),G,(,y,),等分别表示在个体域中存在个体具有性质,F,和存在个体具有性质,G,。,全称量词与存在量词统称为量词。,【例,2.2,】个体域是人类集合，对下列命题符号化。,凡人要死。,有的人是研究生。,解：,令,F,(,x,),：,x,要死。,命题,“,凡人要死。,”,符号化为：,(,x,),F,(,x,),令,G,(,x,),：,x,是研究生。,命题,“,有的人是研究生。,”,符号化为：,(,x,),G,(,x,),在命题函数前加上量词(,x,),和(,x,),分别叫做个体变元,x,被全称量化和存在量化。一般地说，命题函数不是命题，如果对命题函数中所有命题变元进行全称量化或存在量化，该函数就变成了命题。,这一结论在例,2.2,中得到验证。,虽然对命题函数中所有命题变元进行量化后，该命题函数就变成了命题，但所得命题的真值与个体域的选定有关。请看下列例题：,【例,2.3,】对下列命题符号化，并在，三个个体域中考察命题的真值。,命题：,所有数小于,5,。,至少有一个数小于,5,。,个体域：,-,1,，,0,，,1,，,2,，,4,3,，,-,2,，,7,，,8,15,，,20,，,24,解：,设,L,(,x,),：,x,小于,5,。,“,所有数小于,5,。,”,符号化为：,(,x,),L,(,x,),在个体域，中，它们的真值分别为：真，假，假。,“,至少有一个数小于,5,。,”,符号化为：,(,x,),L,(,x,),在个体域，中，它们的真值分别为：真，真，假。,命题函数中的个体变元被量化以后变成命题，其真值又与个体域的选定有关，这对命题函数的研究带来了一定的困难，为了统一，我们今后使用全总个体域。而将其它个体域,用一个谓词来表示，叫做特性谓词。特性谓词加入的方法为：,对全称量词，特性谓词作为条件命题的前件加入。,对存在量词，特性谓词作为合取项加入。,【例,2.4,】对下列命题在，两个个体域中符号化。,命题： 所有老虎是要吃人。, 存在一个老虎要吃人。,个体域：, 所有老虎组成的集合。, 全总个体域。,解：,设,A,(,x,)：,x,是要吃人的。个体域为所有老虎的集合。,符号化为 (,x,),A,(,x,),符号化为 (,x,),A,(,x,),个体域为全总个体域。设特性谓词,T,(,x,)：,x,是老虎。,符号化为 (,x,)(,T,(,x,),A,(,x,),符号化为 (,x,) (,T,(,x,),A,(,x,),返回章目录,2.2谓词公式,2.2.1,谓词公式,我们把命题、命题变元、谓词填式和命题函数叫做谓词演算的原子公式。,定义2.2.1,按下列规则构成的表达式称为谓词演算的合式公式，简称谓词公式。,谓词演算的原子公式是合式公式。,若,A,是合式公式，则,A,是合式公式。,若,A,和,B,是合式公式，则(,A,B,)，(,A,B,)，(,A,B,),和(,A,B,),是合式公式。,如果,A,是合式公式，,x,是,A,中出现的任意个体变元，则(,x,),A,，(,x,),A,是合式公式。, 只有有限次地应用、所得的公式是合式公式。,谓词公式也有以下约定：, 最外层的括号可以省略。, 如果按,、在运算中的优先级别，省略括号后不改变原来的运算次序，可以省略括号，但量词后面括号不能省略。,下面举例说明如何用谓词公式表达自然语言中的命题。,【例,2.5,】并非每个实数都是有理数。,解：,设,R,(,x,),：,x,是实数,Q,(,x,),：,x,是有理数,该命题符号化为：,(,x,)(,R,(,x,),Q,(,x,),【,例,2.6,】没有不犯错误的人。,解：,设,M,(,x,),：,x,是人,F,(,x,),：,x,犯错误,此命题可以理解为：存在一些人不犯错误，这句话是不对的。此时，符号化为：,(,x,) (,M,(,x,),F,(,x,) ),也可以理解为：任何人都是要犯错误的。此时，符号化为：,(,x,) (,M,(,x,),F,(,x,),【例,2.7,】并不是所有的兔子都比所有的乌龟跑得快。,解：,设,F,(,x,),：,x,是兔子。,G,(,x,),：,x,是乌龟。,H,(,x,y,),：,x,比,y,跑得快。,该命题符号化为：,(,x,) (,y,) (,F,(,x,),G,(,y,),H,(,x,y,),2.2.2,约束变元与自由变元,定义2.2.2,如果,A,是谓词公式,B,的一部分且是谓词公式，则称,A,是,B,的子公式。,定义2.2.3,紧接量词以后的最小子公式叫做该量词的辖域或作用域。,定义2.2.4,量词,(,x,),和,(,x,),中的,x,叫做该量词的指导变元或作用变元。,定义2.2.5,量词(,x,),和(,x,),的辖域内,x,的一切出现叫约束出现，,x,叫做约束变元；约束变元以外的其它变元的出现叫自由出现，自由出现的变元叫自由变元。,【例,2.10,】说明下列各式量词的辖域，找出约束变元和自由变元。,(,x,),P,(,x,),Q,(,y,),(,x,) (,P,(,x,),(,y,),Q,(,x,y,),(,x,),P,(,x,),(,y,),Q,(,x,y,),(,x,)(,y,)(,P,(,x,y,),Q,(,y,z,) (,x,),R,(,x,y,),(,x,),P,(,x,),R,(,x,y,),解：,(,x,),的辖域为,P,(,x,),，,x,是约束变元，,y,是自由变元。,(,x,),的辖域为,P,(,x,),(,y,),Q,(,x,y,),，,(,y,),的辖域为,Q,(,x,y,),，,x,和,y,都是约束变元，无自由变元。,(,x,),的辖域为,P,(,x,)，(,y,),的辖域为,Q,(,x,y,)，,P,(,x,),中的,x,和,Q,(,x,y,),中的,y,是约束变元，,Q,(,x,y,),中的,x,是自由变元。,(,x,),的辖域为,(,y,)(,P,(,x,y,),Q,(,y,z,),，,(,y,),的辖域为,P,(,x,y,),Q,(,y,z,),，,(,x,),的辖域为,R,(,x,y,),，,x,是约束变元，,z,是自由变元，,(,P,(,x,y,),Q,(,y,z,),中的,y,是约束变元，,R,(,x,y,),中的,y,是自由变元。,(,x,),的辖域为,P,(,x,),，,y,是自由变元，,P,(,x,),中,x,是约束变元，,R,(,x,y,),中,x,是自由变元。,由例2.10可以看出，在一个公式中，同一个变元既可以是约束的，又可以是自由的，容易混淆。因为(,x,),P,(,x,),与(,y,),P,(,y,)，(,x,),P,(,x,),与(,y,),P,(,y,),都具有相同意义，所以约束变元与表示该变元的符号无关。根据这个特点，可以对约束变元换名。为了使换名后的公式中出现的变元要么是约束的，要么是自由的，我们提出如下的换名规则：,对约束变元可以换名，其更改变元名称的范围是量词的指导变元，以及该量词辖域中的所有该变元，公式的其余部分不变。,换名时一定要更改成辖域中没有出现的变元名，最好是公式中没有的变量名。,【例,2.11,】对,(,x,)(,y,)(,P,(,x,y,),Q,(,y,z,)(,x,),R,(,x,y,),中的约束变元,y,换名。,解：,用,u,置换约束变元,y,。,换名后为：,(,x,)(,u,)(,P,(,x,u,),Q,(,u,z,)(,x,),R,(,x,y,),不能换成：,(,x,)(,u,)(,P,(,x,u,),Q,(,y,z,)(,x,),R,(,x,y,),也不能换成：,(,x,)(,z,)(,P,(,x,z,),Q,(,z,z,)(,x,),R,(,x,y,),对公式中的自由变元也可以进行更改，用来解决公式中约束变元与自由变元的同名问题。这种更改叫做代入，代入规则是：,对于谓词公式中的自由变元可以代入，代入时需对公式中该变元自由出现的每处进行。,代入的变元与原公式中其他变元的名称不能相同。,【例,2.12,】对,(,x,)(,P,(,y,),R,(,x,y,),(,y,),Q,(,y,),中的自由变元,y,进行代入。,解：,用,z,代换,y,，,代入后为：,(,x,)(,P,(,z,),R,(,x,z,),(,y,),Q,(,y,),不能换成：,(,x,)(,P,(,x,),R,(,x,x,),(,y,),Q,(,y,),或,(,x,)(,P,(,z,),R,(,x,y,),(,y,),Q,(,y,),2.3,谓词演算的等价式与蕴含式,定义,2.3.1,设,A,是谓词公式，如果对,A,的任何赋值，,A,都为真，则称,A,是有效的或永真的。,定义2.3.2,设,A,是谓词公式，如果对,A,的任何赋值，,A,都为假，则称,A,是不可满足的或永假的。,定义2.3.3,设,A,是谓词公式，如果至少有一组赋值使,A,为真，则称,A,是可满足的。,根据定义2.3.1和定义2.3.3，如果一个谓词公式是有效的，它一定是可满足的。,返回章目录,定义2.3.4,设,A,、,B,是任意两个谓词公式，对,A,、,B,的任何赋值，若其真值相同，则称,A,与,B,是等价的，记作,A,B,；,若,A,B,是有效的，则称,A,蕴含,B,，,记作,A,B,。,设,A,、,B,是任意两个谓词公式。当,A,B,时，由定义2.3.1和定义2.3.4知,A,B,是永真式。反之，当,A,B,是永真式时，,A,B,。,所以，也可以用,A,B,是永真式描述,A,B,。,1,命题逻辑中的等价式的推广,命题演算中的所有等价式都是谓词演算中的等价式。,从定义2.2.1可以看出，命题演算的合式公式都是谓词演算的合式公式。再根据定义2.3.4，命题演算中的所有等价式都是谓词演算中的等价式。,命题逻辑中的等价式的推广,在命题逻辑中，重言式的同一分量出现的每一处都用同一合式公式置换，其结果仍是重言式(定理1.4.2)。在谓词逻辑中可以推广为：在永真的谓词公式中，命题变元出现的每一处都用同一谓词公式置换，其结果仍是永真式。例如：,因为,(,p,q,),p,q,，,故,(,p,q,)(,p,q,),为永真式，,用,(,x,),P,(,x,),代替,p,，,(,y,),R,(,y,),代替,q,，,得到永真式：,(,x,),P,(,x,),(,y,),R,(,y,)(,(,x,),P,(,x,),(,y,),R,(,y,),所以,(,x,),P,(,x,),(,y,),R,(,y,),(,x,),P,(,x,),(,y,),R,(,y,),2,消去量词等价式,设个体域为有限集,a,1,，,a,2,，,，,a,n,，,A,(,x,),是含自由变元,x,的任意谓词公式，有下列等价式成立：,(,x,),A,(,x,),A,(,a,1,),A,(,a,2,),A,(,a,n,),(,x,),A,(,x,),A,(,a,1,),A,(,a,2,),A,(,a,n,),3,量词否定等价式,设,A,(,x,),是含自由变元,x,的任意谓词公式。则,(,x,),A,(,x,),(,x,),A,(,x,),(,x,),A,(,x,),(,x,),A,(,x,),约定，量词之前的否定联结词，不是否定该量词，而是否定该量词及其辖域。,这两个等价式可在有限个体域上证明，设个体域为,a,1,，,a,2,，,a,n,(,x,),A,(,x,),(,A,(,a,1,),A,(,a,2,),A,(,a,n,),A,(,a,1,),A,(,a,2,),A,(,a,n,),(,x,),A,(,x,),(,x,),A,(,x,),(,A,(,a,1,),A,(,a,2,),A,(,a,n,),A,(,a,1,),A,(,a,2,),A,(,a,n,),(,x,),A,(,x,),当个体域为无限集时，等价式也是成立的。但因为情况复杂，仅作以下说明：对等价式,(,x,),A,(,x,),(,x,),A,(,x,),，,(,x,),A,(,x,),表示：并不是所有的,x,都有性质,A,。,(,x,),A,(,x,),表示：存在,x,没有性质,A,。,显然,“,并不是所有的,x,都有性质,A,”,和,“,存在,x,没有性质,A,”,是相同的，所以,(,x,),A,(,x,),(,x,),A,(,x,),。,对等价式,(,x,),A,(,x,),(,x,),A,(,x,),来说，,“,不存在某个,x,有性质,A,”,和,“,所有的,x,都没有性质,A,”,是相同的。,4,量词作用域的扩展与收缩等价式,设,A,(,x,),是含自由变元,x,的任意谓词公式。,B,是不含变元,x,的谓词公式，则,(,x,)(,A,(,x,),B,),(,x,),A,(,x,),B,(,x,)(,A,(,x,),B,),(,x,),A,(,x,),B,(,x,)(,A,(,x,),B,),(,x,),A,(,x,),B,(,x,)(,A,(,x,),B,),(,x,),A,(,x,),B,利用上述四式可以得到以下四式：,(,x,)(,A,(,x,),B,),(,x,),A,(,x,),B,(,x,)(,A,(,x,),B,),(,x,),A,(,x,),B,(,x,)(,B,A,(,x,),B,(,x,),A,(,x,),(,x,)(,B,A,(,x,),B,(,x,),A,(,x,),【,例2.13】证明 (,x,)(,A,(,x,),B,),(,x,),A,(,x,),B,解：,(,x,)(,A,(,x,),B,),(,x,)(,A,(,x,),B,),(,x,),A,(,x,),B,(,x,),A,(,x,),B,(,x,),A,(,x,),B,5,量词分配等价式,设,A,(,x,),和,B,(,x,),是含自由变元,x,的任意谓词公式，则,(,x,)(,A,(,x,),B,(,x,),(,x,),A,(,x,),(,x,),B,(,x,),(,x,)(,A,(,x,),B,(,x,),(,x,),A,(,x,),(,x,),B,(,x,),前者可以理解为：,“,所有的,x,有性质,A,和性质,B,”,和,“,所有的,x,有性质,A,且所有的,x,有性质,B,”,是等同的。后者可以利用前者来证明。,【例2.14】证明 (,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,),B,(,x,),(,x,)(,A,(,x,),B,(,x,),(,x,),A,(,x,)(,x,),B,(,x,),(,x,),A,(,x,)(,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,),6,量词与联结词的蕴含式,设,A,(,x,),和,B,(,x,),是含自由变元,x,的任意谓词公式。,(,x,),A,(,x,),(,x,),B,(,x,),(,x,) (,A,(,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,),(,x,) (,A,(,x,),B,(,x,),(,x,),A,(,x,),(,x,),B,(,x,),对第一式作如下说明：令,A,(,x,),表示,x,有一支钢笔，,B,(,x,),表示,x,有一支铅笔，个体域是,2000,级计算机,1,班全体同学。全班每个同学都有一支钢笔或每个同学都有一支铅笔，当然可以推出全班每个同学有一支钢笔或有一支铅笔。但反过来是不对的。,第二式可用第一式推出。,【例,2.15,】证明,(,x,)(,A,(,x,),B,(,x,),(,x,),A,(,x,),(,x,),B,(,x,),解：,由第一式可得：,(,x,),A,(,x,),(,x,),B,(,x,),(,x,)(,A,(,x,),B,(,x,),而,(,x,),A,(,x,),(,x,),B,(,x,),(,x,),A,(,x,),(,x,),B,(,x,),(,x,),A,(,x,),(,x,),B,(,x,),(,x,)(,A,(,x,),B,(,x,),(,x,),(,A,(,x,),B,(,x,),(,x,)(,A,(,x,),B,(,x,),故有,(,x,),A,(,x,),(,x,),B,(,x,),(,x,)(,A,(,x,),B,(,x,),由双条件否定等价式有,(,x,)(,A,(,x,),B,(,x,),(,x,),A,(,x,),(,x,),B,(,x,),第三、四式可以类似推出。,7,多个量词的使用,约定：,(,x,)(,y,),A,(,x,y,),表示,(,x,) (,y,),A,(,x,y,),一般地说，多个量词相连时，同名量词是无序的，即改变它们的次序，命题真值不变。异名量词是有序的，即改变它们的次序，命题真值发生变化。对后者作如下的说明：,令,A,(,x,y,),表示,x,+,y,=10,，,个体域为整数集合,I,。,(,x,)(,y,),A,(,x,y,),表示对任一整数,x,，,存在整数,y,，,使,x,+,y,=10,。,这是一个真命题。,(,y,)(,x,),A,(,x,y,),表示存在整数,y,，,对任一整数,x,，,有,x,+,y,=10,。,这是一个假命题。,因为同名量词是无序的，所以有：,(,x,)(,y,),A,(,x,y,),(,y,)(,x,),A,(,x,y,),(,x,)(,y,),A,(,x,y,),(,y,)(,x,),A,(,x,y,),异名量词有下列的蕴含关系：,(,y,)(,x,),A,(,x,y,),(,x,)(,y,),A,(,x,y,),(,x,)(,y,),A,(,x,y,),(,y,)(,x,),A,(,x,y,),具有两个量词的谓词公式还有下列的蕴含式：,(,x,)(,y,),A,(,x,y,),(,y,)(,x,),A,(,x,y,),(,y,)(,x,),A,(,x,y,),(,x,)(,y,),A,(,x,y,),(,x,)(,y,),A,(,x,y,),(,y,)(,x,),A,(,x,y,),(,y,)(,x,),A,(,x,y,),(,x,)(,y,),A,(,x,y,),2.4,前束范式,定义2.4.1,一个公式，如果量词均在全式的开头，它们的作用域延伸到整个公式的末尾，则称为前束范式。,根据这个定义前束范式可表示成如下形式：,(,v,1,)(,v,2,),(,v,n,),A,其中：是,或,v,i,是个体变元，,i,=1,n,A,是不含量词的谓词公式,返回章目录,例如： (,x,)(,y,)(,F,(,x,),G,(,y,),L,(,x,y,),(,y,)(,x,)(,z,)(,H,(,x,y,),F,(,x,),L,(,x,z,),都是前束范式。而,(,x,),F,(,x,)(,y,)(,G,(,y,),L,(,x,y,),(,y,)(,x,)(,H,(,x,y,),F,(,x,)(,z,),L,(,x,z,),都不是前束范式。,定理2.4.1,任何谓词公式,都可以化成与其等价的前束范式。,本定理的证明从略。,利用上一节介绍的等价式、,2.2,节介绍的代入规则和换名规则可以求出任何谓词公式的前束范式。,【例,2.16,】求公式,(,x,),F,(,x,),(,x,),G,(,x,),的前束范式。,解：,(,x,),F,(,x,),(,x,),G,(,x,),(,x,),F,(,x,),(,x,),G,(,x,),(,x,),F,(,x,),(,x,),G,(,x,),(,x,)(,F,(,x,),G,(,x,) (,前束范式,),(,x,)(,F,(,x,),G,(,x,) (,前束范式,),从本例可以看出，谓词公式的前束范式并不惟一。,【例,2.17,】把公式,(,y,),G,(,x,y,),(,x,),F,(,x,y,),化为等价的前束范式。,解：,(,y,),G,(,x,y,),(,x,),F,(,x,y,),(,t,),G,(,x,t,),(,s,),F,(,s,y,),(,t,)(,s,)(,G,(,x,t,),F,(,s,y,),定义2.4.2,一个谓词公式,A,，,如果具有如下形式称为前束合取范式。,(,v,1,)(,v,2,),(,v,n,)(,A,11,A,12, ),(,A,21,A,22, ),(,A,m,1,A,m,2,),其中：是,或,v,i,是个体变元，,i,=1,n,A,ij,是原子公式或其否定。,例如,(,x,)(,y,)(,z,)(,F,(,x,),H,(,x,y,),G,(,x,),(,F,(,x,),L,(,x,z,),是前束合取范式。,定理,2.4.2,每个谓词公式都可化为与其等价的前束合取范式。,证明从略。,【例,2.18,】将,(,x,),F,(,x,),(,x,),G,(,x,),(,x,)(,F,(,x,),G,(,x,),化为与其等价的前束合取范式。,解：,(,x,),F,(,x,),(,x,),G,(,x,),(,x,)(,F,(,x,),G,(,x,),(,x,)(,F,(,x,),G,(,x,),(,y,)(,F,(,y,),G,(,y,),(,x,)(,y,)(,F,(,x,),G,(,x,),(,F,(,y,),G,(,y,),(,x,)(,y,)(,(,F,(,x,),G,(,x,),(,F,(,y,),G,(,y,),(,x,)(,y,)(,F,(,x,),G,(,x,),(,F,(,y,),G,(,y,),(,x,)(,y,)(,F,(,x,),F,(,y,),G,(,y,),(,G,(,x,),F,(,y,),G,(,y,),定义,2.4.3,一个谓词公式,A,，,如果具有如下形式称为前束析取范式。,(,v,1,)(,v,2,),(,v,n,) (,A,11,A,12,),(,A,21,A,22,),(,A,m,1,A,m,2,),其中：是,或,v,i,是个体变元，,i,=1,n,A,ij,是原子公式或其否定。,定理,2.4.3,每一个谓词公式,A,都可以化为与它等价的前束析取范式。,证明从略。,返回章目录,2.5,谓词逻辑的推理理论,在谓词演算中，,C,是一组前提,A,1,，,A,2,，,，,A,n,的有效结论，仍然定义为,A,1,A,2,A,n,C,。,命题演算推理中的,P,规则、,T,规则、置换规则、合取引入规则、所有的等价式和蕴含式在谓词推理中都是对的，都可以使用；另外，,2.3,节中介绍的谓词演算中的等价式与蕴含式也可以在谓词推理中使用。除此之外，还有以下的规则。,全称指定规则,(US,规则,),(,x,),A,(,x,),A,(,c,),此式成立的条件是：,c,是个体域中任一个体。,用,c,取代,A,(,x,),中,x,时，一定在,x,出现的所有地方进行取代。,全称指定规则说明：若个体域中的所有个体都满足谓词,A,，,则个体域中任一个体,c,也满足谓词,A,。,利用这个规则，可以从带有全称量词的前提中，推导出不带全称量词的特殊结论。它体现了在逻辑推理中由一般到特殊的推导方法。,全称推广规则,(,UG,规则,),A,(,y,),(,x,),A,(,x,),此式成立的条件是：,y,是个体域中任一个体且对,y,，,A,(,y,),为真。,x,是不出现在,A,(,y,),中的个体变元。,例如，个体域为实数集合,R,，,G,(,x,y,),表示,x,y,，,设,A,(,y,),(,x,),G,(,x,y,),，,显然,A,(,y,),满足条件，一定能推出,(,z,),A,(,z,),(,z,)(,x,),G,(,x,z,),(,z,)(,x,)(,x,z,),，,这是一个真命题。若推成,(,x,),A,(,x,),(,x,)(,x,),G,(,x,x,),(,x,)(,x,)(,x,x,),，,就产生了错误，因为这是一个假命题。错误的原因是违背了条件。,存在指定规则(,ES,规则),(,x,),A,(,x,),A,(,c,),此式成立的条件是：,c,是个体域中的某个确定的个体，而不是个体变元。,c,是不出现在,A,(,x,),中的个体。,存在指定规则说明，若个体域中存在一些个体满足谓,词,A,，,则至少有某个确定的个体,c,满足谓词,A,。,例如，设个体域为整数集合,I,，,A,(,x,),表示,x,是奇数，,B,(,x,),表示,x,是偶数。,(,x,),A,(,x,),A,(,c,),，,它表示：若存在一些整数是奇数，令,c,为,3,，则,c,是奇数。这个推理是对的。,(,x,),B,(,x,),B,(,d,),，,它表示：若存在一些整数是偶数，令,d,为,4,，则,d,是偶数。这个推理也是对的。因此有下列推理成立：,(,x,),A,(,x,),(,x,),B,(,x,),A,(,c,),B,(,d,),而下列推理是错误的：,(,x,),A,(,x,),(,x,),B,(,x,),A,(,c,),B,(,c,),(,x,),A,(,x,),(,x,),B,(,x,),A,(,d,),B,(,d,),因为,3,不能既是奇数，又是偶数；同样，,4,也不能既是奇数，又是偶数。错误的原因是违背了条件。,存在推广规则,(,EG,规则,),A,(,c,),(,x,),A,(,x,),此式成立的条件是：,c,是个体域中确定的个体。,x,不能是出现在,A,(,c,),中的个体变元。,存在推广规则说明：对于个体域中的某个个体,c,满足谓词,A,，,当然有,(,x,),A,(,x,),。,【,例,2.19,】证明苏格拉底论证：凡人要死。苏格拉底是人，苏格拉底要死。,设：,H,(,x,),：,x,是人。,M,(,x,),：,x,是要死的。,s,：,苏格拉底。,本题要证明：,(,x,)(,H,(,x,),M,(,x,),H,(,s,),M,(,s,),证明：,(,x,)(,H,(,x,),M,(,x,) P,H,(,s,),M,(,s,) US,H,(,s,) P,M,(,s,) T,假言推理,【例2.20】证明(,x,)(,H,(,x,),M,(,x,)，(,x,),H,(,x,),(,x,),M,(,x,),证明：, (,x,),H,(,x,),P,H,(,c,) ES, (,x,)(,H,(,x,),M,(,x,) P,H,(,c,),M,(,c,) US,M,(,c,),T,假言推理, (,x,),M,(,x,),EG,若把,写在,的后面，得到如下的推理：, (,x,)(,H,(,x,),M,(,x,) P,H,(,c,),M,(,c,),US, (,x,),H,(,x,),P,H,(,c,),ES,M,(,c,),T,假言推理, (,x,),M,(,x,),EG,这个推理在逻辑上是错误的。因为中的,c,为个体域中一个个体，用,ES,规则由推到不能选择中的,c,，,因为它要选的个体和中的个体,c,不一定是同一个个体，故推理是错误的。,【例2.21】证明 (,x,)(,A,(,x,),B,(,x,)，(,x,),A,(,x,),(,x,),B,(,x,),证明：,用直接法证明。, (,x,)(,A,(,x,),B,(,x,),P,A,(,s,),B,(,s,),US, (,x,),A,(,x,),P, ,A,(,s,),US,B,(,s,) T,析取三段论, (,x,),B,(,x,),EG,用归谬法证明。, (,x,),B,(,x,),P(,附加前提), (,x,),B,(,x,) T,量词否定等价式, ,B,(,s,),US, (,x,)(,A,(,x,),B,(,x,),P,A,(,s,),B,(,s,) US,A,(,s,) T,析取三段论, (,x,),A,(,x,) P, ,A,(,s,) US,A,(,s,),A,(,s,)(,矛盾),T,合取引入,【例,2.22,】用,CP,规则证明：,(,x,)(,F,(,x,),G,(,x,),(,x,),F,(,x,),(,x,),G,(,x,),原题可改写成：,(,x,)(,F,(,x,),G,(,x,),(,x,),F,(,x,),(,x,),G,(,x,),证明：,(,x,),F,(,x,),P(,附加前提,),(,x,),F,(,x,) T,量词否定等价式,F,(,c,) ES,(,x,) (,F,(,x,),G,(,x,) P,F,(,c,),G,(,c,) US,G,(,c,) T,析取三段论,(,x,),G,(,x,),EG,(,x,),F,(,x,),(,x,),G,(,x,) CP,【例,2.23,】设个体域为全总个体域。证明推理：学术会的成员都是工人并且是专家。有些成员是青年人。所以有的成员是青年专家。,首先将命题符号化：,F,(,x,),：,x,是学术会成员。,G,(,x,),：,x,是专家。,H,(,x,),：,x,是工人。,R,(,x,),：,x,是青年人。,本题要证明：,(,x,)(,F,(,x,),G,(,x,),H,(,x,), (,x,)(,F,(,x,),R,(,x,),(,x,)(,F,(,x,),R,(,x,),G,(,x,),证明：,(,x,)(,F,(,x,),R,(,x,) P,F,(,c,),R,(,c,) ES,F,(,c,) T,化简律,(,x,)(,F,(,x,),G,(,x,),H,(,x,) P,F,(,c,),G,(,c,),H,(,c,) US,G,(,c,),H,(,c,) T,假言推理,R,(,c,) T,化简律,G,(,c,) T,化简律,F,(,c,),R,(,c,),G,(,c,),T,合取引入, (,x,)(,F,(,x,),R,(,x,),G,(,x,) EG,返回总目录,返回章目录,