离散数学（第6讲）.ppt

第2章 一阶谓词逻辑(1) 主要内容 量词化逻辑 1、谓词 2、量词 3、全总个体域 4、自由变元与约束变元 5、两个量词量化谓词的真值 命题逻辑的局限性 命题逻辑是数理逻辑的基础，主要研究命题和命题演算。原子命题是命题演算的基本单位，并把它看作是不可再分解。这就带来了命题逻辑的局限性。命题逻辑研究的范围限制在命题及其外部关系上，无法研究命题内部的成份、结构，命题之间所具有的逻辑特征（共同性和差异性） ? 例1.1 设基本命题，P：李明是大学生 Q：王芳是大学生 R：松树是植物 很明显，P与Q在内部关系上，应该比R密切得多。然而，命题逻辑无法反映这种区别，也无法反映P、Q间的共同性。 命题逻辑的局限性 例1.2(著名的苏格拉底三段论) 设自然语言中的三个命题： 1）所有的人都是要死的； 2）苏格拉底是人； 3）所以，苏格拉底是要死的。 解：假设 P：所有的人都是要死的； Q：苏格拉底是人。 R：所以，苏格拉底是要死的。 显然，无论用什么方法也无法推论出 P，Q ?R。 但是，这样简单的，凭直觉就知苏格拉底的论证是正确的推理，命题逻辑却无能为力。这是由命题逻辑的局限性造成的，因此，需要对命题的内部关系进行研究。 谓词 Predlicate 在对命题的内部逻辑关系进行研究时，把基本命题分成客体(个体）和谓词。 客体——所描述的对象。（命题中的主语，客观实体，可以独立存在的物体）。 谓词——命题中描述个体性质（特征）或关系的部分。 谓词一般用大写字符（串）表示; 个体用小写字符表示。 谓词 Predlicate 例1.3　如有句子： 张红是一个四川大学的学生； 王南是一个四川大学的学生； 李华是一个四川大学的学生。 则在命题中必须要用三个命题P，Q，R来表示。 但是，它们都具有一个共同的特征： “…是一个大学生” 因此，若将句子分解成： “主语＋谓语” 用P表示“是一个大学生”，P后紧跟“某某人”。则上述句子可写为：P(张红)；P(王南)；P(李华)。一般地， P(x)：x是一个大学生。 谓词 Predlicate 与谓词相联系的个体的数目，就是谓词的元数。 ①描述一个个体的性质的谓词叫“一元谓词”。 ②描述两个个体间的关系的谓词叫“二元谓词”。 如A：‘…比…大’ 命题4比3大表示成A（4，3） ③描述三个个体间的关系的谓词叫“三元谓词”。 如B：‘…在…和…之间’ B（n,c,z）：内江在成都与重庆之间。 定义2-1.1：设D是由客体构成的称为个体域的非空集合，以D中元素为值的变元称为客体变元。由形如 谓词标识符（客体变元1，客体变元2，…，客体变元n） 构成的、其值为“真”或“假”的表达式，称为n元谓词。 即n元谓词是描述n个个体间的关系。 谓词 Predlicate 定义2-1.1′：设D为非空的个体域，定义在Dn(表示n个客体都在个体域D上取值)上取值于｛0,1｝上的n元函数，称为n元命题函数或n元谓词,记为P(x1,x2,…,xn)。此时，客体变元x1,x2,…,xn的定义域都为D， P(x1,x2,…,xn)的值域为{0，1｝。 注意：n元谓词中的客体或客体变元是有一定次序的。 如A（4，3）为T，A（3，4）为F。 如果谓词中为客体变元,我们称为谓词填式(谓词命名式,n元命题函数)。 如S(x),A(x,y)，不能判断真和假。 只有将具体的客体代替客体变元，才能判断真和假。 谓词 Predlicate 客体取值的范围叫个体域(论域)。 谓词通常用于高级程序语言的控制语句中， 如 if x>3 then y:=5 ‘x>3’是谓词，x>3的值由x的现行值确定。 n元谓词和命题的关系： P(x,y,z):x+y=z 3元谓词 x=3,P(3,y,z):3+y=z 2元谓词 x=3,y=4,P(3,4,z):3+4=z 1元谓词 x=3,y=4,z=5,P(3,4,5):3+4=5 0元谓词(命题)F 可见，0元谓词就是命题；命题是谓词的特殊情况，谓词是命题的扩充。 谓词