第2章一阶逻辑选编.pptVIP

第2章 谓词逻辑;;2.1个体、谓词与量词 个体: 是指所研究对象中可以独立存在的具体的或抽象的客体。 它可以是独立存在的人或物体，也可以是抽象的概念。 个体常用小写英文字母或小写英文字母带下标表示，叫做个体标识符。;考察下面的三个原子命题： ⑴ 李玲是优秀共产党员。 ⑵ 张华比李红高。 ⑶ 小高坐在小王和小刘的中间。 上述命题中的李玲、张华、李红、小高、小王、小刘等客体就是个体。 ; 个体常元: 表示具体或特定个体的标识符，一般用小写英文字母a、b、c、…或这些英文字母带下标表示。 个体变元: 表示任意个体或泛指某类个体的标识符，常表示为x、y、z、…等或这些英文字母带下标。 ;个体域(论域): 个体变元的变化范围。个体域可以是有穷集合，也可以是无穷集合。 全总个体域: 包含任意个体域的个体域称为，它是由宇宙???一切对象组成的集合。 如无特别说明，所采用的都是全总个体域。 ; 谓 词 谓词: 刻画个体性质或几个个体关系的模式。谓词常用大写英文字母表示，叫做谓词标识符。 ⑴ 李玲是优秀共产党员。 ⑵ 张华比李红高。 ⑶ 小高坐在小王和小刘的中间 F：…是优秀共产党员。 G：…比…高。 H：…坐在…和…的中间。 ;一元谓词: 与一个个体相关联的谓词。F(x)是一元谓词； 二元谓词: 与两个个体相关联的谓词。G(x, y)是二元谓词； … 一般的，把与n个个体相关联的谓词P(x1,x2,…,xn)叫做n元谓词（n元命题函数）。; n元谓词是命题吗？; 谓词填式(0元谓词): 将谓词后面填上相关联的个体常元所得的式子。 设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)都是谓词填式。;【例2.1】利用谓词填式将下列命题符号化。 ⑴ 2与3都是偶数。 ⑵ 如果5大于3，则2大于6。 解： ⑴ 设F(x)：x是偶数。 a：2，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) ;量词 ⑴ 全称量词 日常生活和数学中常用的“一切的”，“所有的”，“每一个”，“任意的”，“凡”，“都”等词统称为全称量词，将它们符号化为“?”。 用(?x)，(?y)等表示个体域里的所有个体； 用(?x)F(x) 表示个体域中的所有个体都有性质F。 ;⑵ 存在量词 “存在”，“有一个”，“有些”，“至少有一个”等词统称为存在量词，将它们符号化为“?”。 用(?x)，(?y)等表示个体域里有些个体； 用(?x)F(x) 表示在个体域中存在个体具有性质F。 全称量词与存在量词统称为量词。 ;;【例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) 在个体域①，②，③中， 真值分别为：真，真，假。; 对命题函数中所有个体变元进行量化后，该命题函数就变成了命题，但所得命题的真值与个体域的选定有关。 这对命题函数的研究带来了一定的困难，为了统一，我们今后使用全总个体域。 而将其它个体域用一个谓词来表示，叫做特性谓词。 ;（1）所有的人都是要死的。 （2）有的人活百岁以上。 第一种情况，考虑个体域为人类集合，则 （1）F (x)：x 是要死的。符号化为：(?x)F (x) （2）G(x)：x活百岁以上。符号化为：(?x)G(x) 第二种情况，考虑个体域为全总个体域，则