重点⒉谓词逻辑.PPTVIP

* * 重点： ⒉谓词逻辑： （1）掌握谓词概念与表示方法，能正确地使用量词； （2）了解什么是约束变元与自由变元； （3）能灵活的运用谓词演算的等价式与蕴含式、量词的全称指（规）定规则、全称推广规则、存在指（规）定规则、存在推广规则进行谓词演算的推理。 2.1 谓词的概念及表示 ?? 考察以下推理：? “所有的人都是要死的”? “苏格拉底是人”? “所以苏格拉底是要死的” 这是著名的苏格拉底论证，凭直觉我们认为它是正确的，但用命题演算无法证明出来。究其原因，是因为在命题演算中，原子命题是演算的最小单位，不考虑命题内部的成分、结构及其逻辑特征。为了深入研究形式逻辑的推理问题，有必要引入谓词演算。 1. 谓词 ??? 考察以下几个例子?例1? (a) 他是三好学生??????????? x是三好学生??? (b) 张明生于北京??????????? x生于y??? 右侧是每个例子的模式，“是三好学生”刻画x的性质，“生于”刻画x和y的关系。? 其中：“他”“张明”“北京”叫做个体，代表个体的变元叫个体变元 刻画个体的性质或反映几个个体间关系的模式叫谓词。“是三好学生”“生于”都是谓词。 谓词一般用大写字母P、Q、R、…表示，个体用小写字母a、b、c、…表示。? ??? 单独个体和谓词不能构成命题，故不能将它们分开以表示命题。 设P：“是三好学生”，则“x是三好学生”表示为P(x)； Q：“生于”，则“x生于y”表示为Q(x，y)。 P(x)、Q(x，y)等叫谓词命名式，简称谓词。 一个个体变元的谓词叫一元谓词，两个个体变元的谓词叫二元谓词，一般，n个个体变元的谓词叫n元谓词，记为P(x1，x2，…，xn)。 一个字母代表一特定谓词，例如F代表“是质数”，则称此字母为谓词常元，若字母代表任意谓词，则称此字母为谓词变元。??? 例2 将下列命题在谓词逻辑中符号化，并讨论它们的真值： （1）只有4是素数，8才是素数。 （2）如果2小于3，则8小于7。 解: （1）设谓词G（x）：x是素数，a：4，b：8； 命题符号化为谓词的蕴涵式：G（a）→G（b） 由于此蕴涵式的前件为假，所以命题为真。 （2）设谓词H（x，y）:x小于y，a:2，b：3，c:8，d:7 命题符号化为谓词的蕴涵式： H（a，b）→H（c，d） 由于此蕴涵式的前件为真，后件为假，所以命题为假。 谓词命名式中个体变元的取值范围叫论述域或个体域。 谓词命名式中，若谓词是常元，个体变元代以论述域中的某一个体，就成为一个命题。 例: F(x)：x是质数，则：F(5)是真，F(4)是假，所以谓词命名式是一个命题函数。 2.2 量词 ??? 为了表达全称判断和特称判断，有必要引入量词。量词有两个：全称量词和存在量词。??? 1.全称量词??? ?x读做“对一切x”、“对任一x”或“对每一x”，这里?是全称量词，x标记?所作用的个体变元。??? ?xP(x)表示“对一切x，P(x)是真”??? ?x?P(x)表示“对一切x，?P(x)是真”??? ??xP(x)表示“并非对一切x，P(x)是真”??? ??x?P(x)表示“并非对一切x，?P(x)是真” 2.存在量词??? ?x读做“存在一x”、“对某些x”或“至少有一x”，这里?是存在量词，x标记?所作用的个体变元。它的意思是肯定存在一个，但不排斥多于一个。??? ?xP(x)表示“有一x使P(x)是真”??? ?x?P(x)表示“有一x，使?P(x)是真”??xP(x)表示“至少存在一x使P(x)是真，并非这样”??x? P(x)表示“至少存在一x使?P(x)是真，并非这样”??? 在谓词P(x)等的前边加上全称量词?x或存在量词?x，说成是变元x被全称量化或存在量化。 量化的作用:? 设F(x)表示“x是质数”，x取自然数，将F(x)变为命题有两种方法：(1)直接将x取定一个值，如F(4)是假命题，F(5)是真命题。(2)将F(x)量化，如?xF(x)是假命题,?xF(x)是真命题。 ??? 量化后所得命题的真值与论述域有关. 例3??? (a) ?y(yy+2)????? (c) ?y(yy+2)??? (b) ?y(y=3)??????? (d) ?y(y=3)??? 如果论述域是整数，则(a),(c),(d)是真，(b)是假。 如果论述域是偶数，?y(y=3)这一命题也为假。 不同的个体变元，有不同的论述域，但在一起讨论时有可能带来不便。