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

《离散数学-2-2命题函数与量词》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、第二章谓词逻辑2-2命题函数与量词授课人：李朔Email:chn.nj.ls@gmail.com1一、命题函数与命题逻辑中命题常量和命题变元的概念类似，代表个体的个体标识符也可以表示客体（个体常量）或客体变元（个体变元）表示具体或特定个体的标识符称作个体常元，一般用小写英文字母a、b、c、…或这些英文字母带下标表示。将表示任意个体或泛指某类个体的标识符称为个体变元，常表示为x、y、z、…等或这些英文字母带下标。2一、命题函数设H是谓词“能到达山顶”i表示客体李四、t表示老虎，c表示汽车H(i)、H(t)、H(c)分别

2、表示了三个不同命题，它们有一个共同的共同的形式，即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取特定客体时，才确定了一个命题。定

3、义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，这是个假命题，它的真值

4、为假。用个体常元取代命题函数的所有个体变元所得到的表达式就是前面所说的谓词填式。也把谓词填式叫做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

5、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-例36二、个体域客体变元的取值范围对命题函数是否可成为命题及其真值极有影响例4R(x)：x是大学生如果x的讨论范围是某大学里班级中的学生，则R(x)是永真式如果x的讨论范围是某中学班级里中的学生，则R(x)是永假式。而如果x的讨论范围是一个剧场中的观众，其中有一部分大学生，那么，对某些观众，R(x)为真，对另一些观众

6、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距离y10米。若x,y,z表示地面上的房子，则命题的真值将由x,y,z的具体位置而定，可能为真，也可能为假。8二、个体域可以看出命题函数确定为命题与客体变元的论述范围有关。在命题函数中，客体变元的论述范围称为个体域或论域。个体域可以是有限的，也可以是无限的，包含任意个体域的个体域称为全总个体域，它是由宇

7、宙间一切对象组成的集合。9三、量词有了客体变元和谓词之后，有些命题还是不能准确的符号化，原因是还缺少表示客体（变元）之间数量关系的词。称表示客体（变元）之间数量关系的词为量词。量词可分两种:⑴全称量词日常生活和数学中常用的“一切的”，“所有的”，“每一个”，“任意的”，“凡”，“都”等词统称为全称量词，将它们符号化为“”。并用(x)，(y)等表示个体域里的所有个体，而用(x)F(x)和(y)G(y)等分别表示个体域中的所有个体都有性质F和都有性质G。10三、量词例（a）所有人都是要呼吸的。(b)每个学生都要

8、参加考试。(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三、量词⑵存在量词“