(第5讲)谓词逻辑.ppt

* 对1）举例F（x,y）表示x大于y。 对2）举例F（x），将x实例化。命题是谓词的一种特殊情况。 * * 不便之处 1.从书写上十分不便，总要特别注明个体域。 2.在同一个比较复杂的句子中，对于不同命题函数中的个体可能属于不同的个体域，此时无法清晰表达。 如讨论求上述例中(1)和(4)的合取而得的新命题有： (? x)R(x)∧(?x)Q(x)。 其中，全称量词中的x?｛老虎｝，存在量词中的x?｛人｝。 * 如(?x)(x＋6＝5)， (1)、在实数范围内时，确有x＝-1使得x＋6＝5，因此，(?x)(x＋6＝5)为“真”。 (2)、在正整数范围内时，则找不到任何x，使得x＋6＝5为“真”，所以，(?x)(x＋6＝5)为“假”。 引出全总个体域 * (?x)(H(x)→P(x)) (?x)(H(x)∧P(x)) * 苏格拉底三段论可完整翻译为： (?x)(H(x)→D(x))，H(a)?D(a) ┐(?x)(H(x)→D(x))＝(?x)(H(ｘ)∧┐D(ｘ)) * 和命题公式的定义对照 * 设有谓词公式:(?x)P(x)∨Q(x) 此时(?x)的辖域仅为P(x)，而非P(x)∨Q(x)， 因此，P(x)与Q(x)中的x具有完全不同的意义。 * 在1)中，P(y,z)与Q(x,y)中的y为约束变元，x,z为自由变元，R(y)中的y为自由变元。 在2)中,P(x)和Q(x)中的x都为约束变元。 在3)中，P(x)中的x和R(x,y)中的y都为约束变元，R(x,y)中的x为自由变元。 在4)中，P(x)，R(x)中的x和Q(x,y)中的y都是约束变元，Q(x,y)中的x为自由变元。 知识是一种积累，而不是一种冲动！ C S | S W U S T XDC 知识是一种积累，而不是一种冲动！ 谓词逻辑 解：假设 (著名的苏格拉底三段论)设自然语言中的三个命题： 所有的人都是要死的； 苏格拉底是人。 所以，苏格拉底是要死的。 P：所有的人都是要死的； Q：苏格拉底是人。 R：苏格拉底是要死的。 则有：P∧Q ? R 在命题逻辑中，如果用P、Q、R 表示以上3个命题，则应用 P∧Q?R表示上述推理。显然，命题公式(P∧Q)→ R不是重言式。 可是凭我们的直觉可知上述论断是正确的，这就是命题逻辑的局限性。 原因是没有将P、Q、R之间的内在联系反映出来。要反映这种内在联系，就要对简单命题作进一步的分析，分析出其中的个体词、谓词、量词等，研究它们的形式结构及逻辑关系，总结出正确的推理形式和规则，这就是谓词逻辑所研究的内容，谓词逻辑也称一阶逻辑。 1.6谓词和量词 例：如有句子： 张红是一个西南科技大学的学生； 王南是一个西南科技大学的学生； 李华是一个西南科技大学的学生。 则在命题中必须要用三个命题P，Q，R来表示。 但是，它们都具有一个共同的特征： “…是一个西南科技大学的学生” 描述相同　对象不同 1.6.1 谓词 在句子中，可以独立存在的客体称为个体词，而用以刻划客体的性质或客体之间的关系即是谓词。 表示方法：个体词用a,b,c,...a1,等表示， 谓词用A,B,C, ...A1, 等表示。 例： 张红是一个西南科技大学的学生； 由此，我们定义谓词 P:是一个西南科技大学的学生 个体词 a1:张红 a2:王南 a3:李华 P(a1) 　为方便理解，谓词描述为　 A(x),B(x),C(x), ... 设有如下命题： P：上海是一个现代化的城市； Q：甲是乙的父亲； R：3介于2和5之间。 T：李兰与高翔是同班同学。 例 解：设有如下谓词： C（x）：x是一个现代化的城市； F（x，y）： x是y的父亲； B（x，y，z）：x介于y和z之间； S（x，y）： x与y是同班。 则上述命题可表示为： P：C（上海） Q：F（甲，乙） R：B（3，2，5） T：S（李兰，高翔） 谓词中个体词的顺序是十分重要的，不能随意变更。 一元谓词用以描述某一个个体的某种特性或性质，而n元谓词则用以描述n个个体之间的关系。0元谓词(不含个体词的)实际上就是一般的命题。 一个n元谓词不是一个命题，但将n元谓词中的个体变元都用个体域中具体的个体取代后，就成为一个命题。而且，个体变元在不同的个体域中取不同的值对是否成为命题及命题的真值有很大的影响。 几个结论 表示具体或特定的个体词称为个体常量，一般个体词常量用带或不带下标的小写英文字母a,b,c,……,a1,a2,a3.,……表示。 表示抽象的或泛指的个体词称