离散数学-2-2 命题函数与量词

,单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,*,第二章谓词逻辑,2-2 命题函数与量词,授课人：李朔,Email:,chn,.,nj,.,ls,gmail,.com,1,一、命题函数,与命题逻辑中命题常量和命题变元的概念类似，代表个体的个体标识符也可以表示,客体（个体常量）,或,客体变元（个体变元）,表示具体或特定个体的标识符称作,个体常元,，,一般用小写英文字母,a、b,、,c,、,或这些英文字母带下标表示,。,将表示任意个体或泛指某类个体的标识符称为,个体变元,，,常表示为,x、y、z、,等或这些英文字母带下标。,2,一、命题函数,设,H,是谓词“能到达山顶”,i,表示客体李四、,t,表示老虎，,c,表示汽车,H(i)、H(t)、H(c),分别表示了三个不同命题，它们有一个共同的共同的形式，即,H(x),x,取,l,时表示：李四能到达山顶,x,取,t,时表示：老虎能到达山顶,x,取,c,时表示：汽车能到达山顶,同理，若,L(x,y),表示“,x,小于,y”,那么,L(2,3),表示一个真命题：2小于3。而,L(5,1),则表示假命题:5小于1,又如,A(x,y,z),表示“,x+y=z”,则,A(3,2,5),是一个真命题，而,A(1,2,4),是一个假命题。,3,一、命题函数,上述三例中,H(x),L(x,y),A(x,y,z)（,其中,x,y,z,为客体变元）本身不是一个命题,，只有当,x,y,z,取特定客体时，才确定了一个命题。,定义2-2.1,由一个谓词，一些客体变元组成的表达式称为,简单命题函数,。,由这个定义可知，,n,元谓词就是有,n,个客体变元的命题函数,。当,n=0,时称为,0元谓词,，,它本身就是一个命题，所以,命题是,n,元谓词（命题函数）的一个特殊情况。,4,一、命题函数,因为命题函数中包含客体变元，因此命题函数没有确定的真值，它,不是命题,。只要用客体取代所有的个体变元，就得到了命题。,例如，用,H,(,x,y,)：,x,+,y,0,，,显然此命题函数不是命题，因为它无法判断真假。令,a,：5,b,：-7,用,a,b,分别取代,x,y,，,就得到,H,(,a,b,)，,它表示5+(7)0，这是个假命题，它的真值为假。,用个体常元取代命题函数的所有个体变元所得到的表达式就是前面所说的,谓词填式,。也把谓词填式叫做,0元谓词（含0个客体变元）,。,5,一、命题函数,由一个或,n,个简单命题函数以及逻辑联结词组合而成的表达式称,复合命题函数,。,逻辑联结词,、,、,的意义与命题演算中的解释完全类同。,例：将下列命题符号化，并讨论它们的真值。,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,),为假。,书例见,P56,例1-例3,6,二、个体域,客体变元的取值范围对命题函数是否可成为命题及其真值极有影响,例4,R(x)：x,是大学生,如果,x,的讨论范围是某大学里班级中的学生，则,R(x),是永真式,如果,x,的讨论范围是某中学班级里中的学生，则,R(x),是永假式。,而如果,x,的讨论范围是一个剧场中的观众，其中有一部分大学生，那么，对某些观众，,R(x,)为真，,对另一些观众,R(x),为假。,7,二、个体域,例5(,P(x,y),P(y,z),P(x,z),若,P(x,y)：x,小于,y。,当,x,y,z,都在实数域中取值时，该式永真,若,P(x,y)：x,为,y,的儿子。当,x,y,z,都指人时，该式永假,若,P(x,y)：x,距离,y 10,米。若,x,y,z,表示地面上的房子，则命题的真值将由,x,y,z,的具体位置而定，可能为真，也可能为假。,8,二、个体域,可以看出命题函数确定为命题与客体变元的论述范围有关。,在命题函数中，客体变元的论述范围称为,个体域或论域,。,个体域可以是有限的，也可以是无限的，包含任意个体域的个体域称为,全总个体域,，它是由宇宙间一切对象组成的集合。,9,三、量词,有了,客体变元,和谓词之后，有些命题还是不能准确的符号化，原因是还缺少表示,客体（变元）,之间数量关系的词。称表示,客体（,变,元）,之间数量关系的词为,量词,。量词可分两种,:,全称量词,日常生活和数学中常用的“一切的”，“所有的”，“每一个”，“任意的”，“凡”，“都”等词统称为,全称量词,，将它们符号化为“,”。,并用(,x)，(,y),等表示个体域里的所有个体,，而用,(,x)F(x),和(,y)G(y),等分别表示个体域中的所有个体都有性质,F,和都有性质,G,。,10,三、量词,例,（,a）,所有人都是要呼吸的。,(,b),每个学生都要参加考试。,(,c),任何整数或是正的或是负的。,若设,M(x):x,是人，,H(x):x,要呼吸。,P(x):x,是学生，,Q(x):x,要参加考试。,I(x):x,是整数,R(x):x,是正数，,N(x):x,是负数。,则(,a),记为（,x）(M(x)H(x),(,b),记为（,x）(P(x)Q(x),(,c),记为（,x）(I(x)(R(x),N(x),11,三、量词,存在量词,“存在”，“有一个”，“有些”，“至少有一个”等词统称为,存在量词,，,将它们符号化为“,”。,并用(,x)，(,y),等表示个体域里有些个体,，而,用(,x)F(x),和(,y)G(y),等分别表示在个体域中存在个体具有性质,F,和存在个体具有性质,G,。,例,(,a),存在一个数是质数。,(,b),一些人是聪明的。,(,c),有些人早饭吃面包。,设,P(x)：x,是质数。,M(x):x,是人。,E(x):x,早饭吃面包。,则(,a),记为(,x)(P(x),(,b),记为(,x)(M(x),R(x),(,c),记为(,x)(M(x),E(x),12,三、量词,全称量词与存在量词统称为,量词,。,每个由量词确定的表达式，都与个体域有关，如前列中（,x）(M(x)H(x),表示所有的人都要呼吸，,若把个体域限制在“人类”这个范围中，那么亦可简单的表示为,（,x）(H(x),指定论域不仅与表达形式有关，而且与命题的真值有关，如上例中设论域为“自然数”，则命题的真值为,F。,为了方便，我们,将所有命题函数的个体域全部统一，使用全总个体域,。,13,三、量词,例：用谓词表达式写出下列命题。,（,1,）爱美之心人皆有之。,设,F(x):x,为人，,G(x):x,爱美。,（,2,）有人爱发脾气。,设,F(x):x,为人，,G(x):x,爱发脾气。,（,3,）说所有人都爱吃面包是不对的。,F(x)：x,为人，,G(x):x,爱吃面包,（,4,）没有不吃饭的人。,F(x):x,为人，,G(x):x,吃饭,（,5,）一切人都不一样高。,F(x):x,为人，,H(x,y):x,与,y,不同，,L(x,y):x,与,y,一样高。,（,6,）并不是所有的汽车比所有的火车快。,F(x):x,为汽车，,G(y):y,为火车，,H(x,y):x,比,y,快,14,三、量词,解：,(1)设,F(x):x,为人，,G(x):x,爱美。,x(F(x)G(x),。,*将公式翻译自然语言可以这样叙述“对于宇宙间一切事物,x,而言，如果,x,是人，则,x,是爱美的”，即“爱美之心人皆有之”，它反映了爱美是人的共性之一。,(2)设,F(x):x,为人，,G(x):x,爱发脾气。,x(F(x)G(x),。,*,叙述为“宇宙中存在着一些事物,x,x,是人，而且,x,爱发脾气。,15,三、量词,*从(1)(2)中可以看出，若个体域使用了全总个体域，,需要对每一个客体变元的变化范围用谓词加以限制,，这个谓词表示了一个非全总个体域的个体域，称为,特性谓词,。,一般的，,对全称量词,，特性谓词常作原命题公式的蕴含前件。如：,x(F(x)G(x),一般的，,对存在量词,，特性谓词常作为原命题公式的合取项。如：,x(F(x)G(x),16,三、量词,(3)本命题是对“所有人都爱吃面包”的否定，仿照第1）题，容易看出，它的符号化形式为,x(F(x)G(x),(,其中，,F(x)：x,为人，,G(x):x,爱吃面包),又容易看出，本命题与“有人不爱吃面包”是一回事，,所以还可以符号化为：,x(F(x)G(x),(4)本题是对“有不吃饭的人”的否定，仿照（2），容易看出，它的符号化形式为：,x(F(x),G(x),(,其中，,F(x):x,为人，,G(x):x,吃饭),又不难看出，本命题与“所有人都吃饭”是一回事，因而有可以符号化为：,x(F(x)G(x),17,三、量词,(5),一切人都不一样高。,令,F(x):x,为人，,H(x,y):x,与,y,不同，,L(x,y):x,与,y,一样高。,命题符号化为：,x(F(x),y(F(y)H(x,y)L(x,y),又可以写成：,x,y(F(x)F(y)H(x,y)L(x,y),(6),并不是所有的汽车比所有的火车快。,令,F(x):x,为汽车，,G(y):y,为火车，,H(x,y):x,比,y,快,应符号化为：,x,y(F(x)G(y)H(x,y),还可以符号化为：,x,y(F(x)G(y)H(x,y),18,本课小结,命题函数与复合命题函数,全体域、全总个体哉,存在量词，全称量词,19,课后作业,P59（1）,20,