资源描述：
《离散数学_谓词逻辑.ppt》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。
1、第二章谓词逻辑在命题逻辑中，命题被当作一个基本的，不可分割的单位，只研究由原子命题和联接词所组成的复合命题；因而无法研究命题的内部结构及命题之间内在的联系。本章介绍的谓词逻辑，对原子命题的成份、结构和原子命题间的共同特性等作了进一步分析。引入了个体词、谓词、量词、谓词公式等概念，在此基础上研究谓词公式间的等值关系和蕴含关系，并且对命题逻辑中的推理规则进行扩充和进行谓词演绎。主要内容如下：谓词、个体词和量词谓词演算公式谓词演算的永真公式谓词演算的推理理论谓词、个体词和量词例在命题逻辑中，对下述论断无法判断其正确性。“苏格拉底三段论”：凡人都是要死的，苏格拉底是人，所以苏格拉底是要死的。类似的例还
2、有许多。例如：所有的人都要呼吸,所有的正整数都大于0,李莉是人,3是正整数,所以李莉要呼吸。所以3大于0。一、个体词和谓词在谓词演算中，可将原子命题分解为谓词与个体词两部分。定义2-1个体是指可以独立存在的客体。注个体可以是抽象的，也可是具体的。个体通常在一个命题里表示思维对象。定义2-2用来刻划个体的性质或个体之间关系的词称为谓词，刻划一个个体性质的词称为一元谓词；刻划n个个体之间关系的词称为n元谓词。例1（1）李明是学生；（2）张亮比陈华高；（3）陈华坐在张亮与李明之间。在这三个命题中，李明、张亮、陈华都是个体；“…是学生”是一元谓词，“…比…高”是二元谓词，“…坐…与…之间”是三元谓词。
3、通常，我们用大写字母表示谓词，小写字母表示个体。上述命题可分别表示为Q（a）,P（b,c），R（c,b,a）。一般地，一个由n个个体和n元谓词所组成的命题可表示为F（a1,a2,…,an）,其中F表示n元谓词,a1,a2,…,an分别表示n个个体。注意：a1,a2,…,an的排列次序是重要的。二、个体变元和命题函数个体常元表示具体或特定的个体的个体词称为个体常元。个体变元表示抽象的，或泛指的（或者说取值不确定的）个体称为个体变元。例2设H是表示谓词“…能够到达山顶”，若个体w:王红；t：老虎；s：汽车，则H（w），H（t），H（s）分别表示“王红能够到达山顶。”“老虎能够到达山顶。”“汽车能够
4、到达山顶。”这里w、t、s均是个体常元。H（x）：x能够到达山顶。这里的x是泛指的，不确定的，x可在一定的范围内取值。故x是个体变元。例3L（x,y,z）表示“x+y=z”,其中x,y,z为个体变元。L（3，2，5）表示真命题“3+2=5”，而L（1，2，4）表示假命题“1+2=4”。定义2-3由一个谓词和若干个个体变元组成的命题形式称为简单命题函数，表示为P(x1,x2,…,xn)。由一个或若干个简单命题函数以及逻辑联结词组成的命题形式称为复合命题函数。例如H(x)，L(x,y,z)均是简单命题函数。在命题函数中，个体变元的取值范围称为个体域。例4P(x,y)表示“2x+y=1”，若x,y的
5、个体域为正整数集，则总是假；若x,y的个体域为有理数集，则y=1―2x，对任意的有理数k，在x=k，y=1―2k时，P(k,1―2k)为真。(P(x,y)∨L(x,y,z))P(y,x)是一复合命题函数三、量词和全总个体域量词在命题里表示数量的词。1.量词使用前面介绍的概念，还不足以表达日常生活中的各种命题。例如：对于命题“所有的正整数都是素数”和“有些正整数是素数”仅用个体词和谓词是很难表达的。（1）全称量词“x”如“所有人都是要死的。”可表示为xD（x），x的个体域为全体人的集合。（2）存在量词“x”（3）存在唯一量词“!x”如“有些有理数是整数。”令Ｉ(x）：x是整数；于是命题可表示为x
6、Ｉ(x）其中x的个体域为有理数集合。如“方程x+1=0存在唯一的整数解。”令P（x）：x是x+1=0的整数解。则命题可表示为!xP（x），其中x的个体域为整数集。2．全总个体域含有量词的命题的表达式的形式，与个体域有关。含有量词的命题的真值与个体域也有关。因此，为了方便，我们引入全总个体域的概念。定义2―5宇宙间所有的个体聚集在一起所构成的集合称为全总个体域。后面的讨论中，除特殊说明外，均使用全总个体域。而对个体变化的真正取值范围，用特性谓词加以限制。一般地，对全称量词，此特性谓词作蕴含的前件；对存在量词，此特性谓词常作合取项。当取x的个体域为全总个体域时，必须引入一个特性谓词将人从全宇宙的一
7、切事物中分离出来。（1）对所有个体而言，如果它是人，则它是要死的。(2）存在着个体，它是人并且它活百岁以上。令D（x）：x是要死的。则（1）可表示为xD（x）。令G（x）：x活百岁以上。则（2）可表示为xG（x）。例5(1)“所有的人都是要死的。”(2)“有的人活百岁以上。”当x的个体域E为全体人组成的集合时，符号化上述命题。于是令M（x）：x是人。（1）x（M（x）D（x））（2）x（M（x）∧
