[第5讲]谓词逻辑.pptVIP

谓词逻辑;在命题逻辑中，如果用P、Q、R 表示以上3个命题，则应用 P∧Q?R表示上述推理。显然，命题公式(P∧Q)→ R不是重言式。 可是凭我们的直觉可知上述论断是正确的，这就是命题逻辑的局限性。 原因是没有将P、Q、R之间的内在联系反映出来。要反映这种内在联系，就要对简单命题作进一步的分析，分析出其中的个体词、谓词、量词等，研究它们的形式结构及逻辑关系，总结出正确的推理形式和规则，这就是谓词逻辑所研究的内容，谓词逻辑也称一阶逻辑。;1.6谓词和量词;1.6.1 谓词;设有如下命题： P：上海是一个现代化的城市； Q：甲是乙的父亲； R：3介于2和5之间。 T：李兰与高翔是同班同学。;谓词中个体词的顺序是十分重要的，不能随意变更。 一元谓词用以描述某一个个体的某种特性或性质，而n元谓词则用以描述n个个体之间的关系。0元谓词(不含个体词的)实际上就是一般的命题。 一个n元谓词不是一个命题，但将n元谓词中的个体变元都用个体域中具体的个体取代后，就成为一个命题。而且，个体变元在不同的个体域中取不同的值对是否成为命题及命题的真值有很大的影响。;表示具体或特定的个体词称为个体常量，一般个体词常量用带或不带下标的小写英文字母a,b,c,……,a1,a2,a3.,……表示。 表示抽象的或泛指的个体词称为个体变量，一般用带或不带下标的小写英文字母x,y,z,.…,x1,x2,x3,……表示。 个体词的取值范围称为个体域或论域，常用D表示。而宇宙间的所有个体域聚集在一起所构成的个体域称为全总个体域。 设D为非空的个体域，定义在Dn(表示n个个体都在个体域D上取值)上取值于｛0,1｝上的n元函数，称为n元谓词,记为P(x1,x2,…,xn)。此时，个体变量x1,x2,…,xn的定义域都为D，P(x1,x2,…,xn)的值域为{0，1｝。;1.6.2 量词;量词的定义;例 (续);例 (续);全总个体域;例 (续);考虑以下形式的命题在谓词逻辑中的符号化问题。 (1)所有人都是要死的。 (2)有些人不怕死。;各概念间的关系如下图所示：;量词的特点 在使用量词时，应注意以下6个特点： 1.在不同的个体域中，同一命题符号化的形式可能不一样。 2.如果事先没有指明??体域，都应以全总个体域为个体域。 3.在引入特性谓词后，使用全称量词与存在量词符号化的形式是不同的。 4.个体域和谓词的含义确定之后，n元谓词要转化为命题至少需要n个量词。 ;*;*;解:1)个体域为有理数集合，不用引入特性谓词。 　(1)凡有理数均可表示成分数。 　符号化为?xF(x)，其中，F(x)：x可表示成分数。 　(2)有的有理数是整数。 　符号化为?xG(x)，其中，G(x) ：x是整数。;例 在谓词逻辑中将下列命题符号化。　 　　(1)每个自然数都有后继数。 　　(2)所有人都不一样高。　　;1.6.4原子公式和谓词演算的合式公式;1.6.5 自由变元和约束变元;(?y)(P(y,z)→Q(x,y))∨R(y). (?x)(P(x)→Q(x)). (?x)(P(x))→(?y)(R(x,y)) (?x)(P(x)→R(x))∧(?y)Q(x,y);例 在一阶逻辑中将下列命题符号化: 没有最大的自然数 ;*