离散数学(第八讲).pptVIP

计算机学院 计算机科学与工程学院 冯伟森 Email：fws365@scu.edu.cn * * 计算机学院 * 主要内容 量词化逻辑 1、谓词 2、量词 3、全总个体域 4、自由变元与约束变元 * 计算机学院 * 命题逻辑是数理逻辑的基础，主要研究命题和命题间的演算。原子命题是命题演算的基本单位，并把它看作是不可再分解。这就带来了命题逻辑的局限性。命题逻辑研究的范围限制在命题及其外部关系上，无法研究命题内部的成份、结构以及命题之间所具有的逻辑特征（共同性和差异性） 例2-1．1 设基本命题，P：李明是大学生 Q：王芳是大学生 R：松树是植物 很明显，P与Q在内部关系上，应该比R密切得多。然而，命题逻辑无法反映这种区别，也无法反映P、Q间的共同性。 序 * 计算机学院 * 例2-1.2 (著名的苏格拉底三段论) 设自然语言中的三个命题： 1）所有的人都是要死的； 2）苏格拉底是人； 3）所以，苏格拉底是要死的。 解：假设 P：所有的人都是要死的； Q：苏格拉底是人。 R：苏格拉底是要死的。 显然，无论用什么方法也无法推论出 P，Q ?R。 但是，这样简单的，凭直觉就知苏格拉底的论证是正确的推理，命题逻辑却无能为力。这是由命题逻辑的局限性造成的，因此，需要对命题的内部关系进行研究。 * 计算机学院 * §2.1 量词化逻辑——谓词和量词 一、谓词 Predlicate 在对命题的内部逻辑关系进行研究时，把基本命题分成客体(个体）和谓词。 客体——独立存在的具体事物或抽象概念（即命题中所描述的对象。如主语，客观实体等）。 谓词——刻划客体的性质（特征）或描述客体间的关系。 谓词一般用大写字母（串）表示; 个体用小写字母表示。 * 计算机学院 * 例2-1.3　如有句子： 张红是一个四川大学的学生； 王南是一个四川大学的学生； 李华是一个四川大学的学生。 则在命题逻辑中必须要用三个命题P，Q，R来表示。 但是，它们都具有一个共同的特征： “…是一个四川大学的学生” 因此，若将句子分解成： “主语＋谓语” 用P表示“是一个四川大学的学生”，P后紧跟“某某人”。则上述句子可写为：P(张红)；P(王南)；P(李华)。一般地， P(x)：x是一个四川大学的学生。 P：谓词 x：客体词 P(x)：命题函数 * 计算机学院 * 与谓词相联系的个体的数目，就是谓词的元数。 ①描述一个个体的性质的谓词叫“一元谓词”。 ②描述两个个体间的关系的谓词叫“二元谓词”。 如A：‘…比…大’ 命题4比3大表示成A（4，3） ③描述三个个体间的关系的谓词叫“三元谓词”。 如B：‘…在…和…之间’ B（n,c,z）：内江在成都与重庆之间。 定义2.1 设D是由客体构成的称为个体域的非空集合，以D中元素为值的变元称为客体变元。由形如 谓词标识符（客体变元1，客体变元2，…，客体变元n） 构成的、其值为“真”或“假”的表达式，称为n元谓词。 即n元谓词是描述n个个体间的关系。 * 计算机学院 * 命题函数 设D为非空的个体域，定义在Dn(表示n个客体都在个体域(论域) D上取值)上取值于｛0,1｝上的n元函数，称为n元命题函数,记为P(x1,x2,…,xn)。此时，客体变元x1,x2,…,xn的定义域都为D， P(x1,x2,…,xn)的值域为{0，1｝。 因此，n元谓词也可称为n元命题函数。 注意：n元谓词中的客体或客体变元是有一定次序的。 如A（4，3）为T，A（3，4）为F。 * 计算机学院 * 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元谓词就是命题；命题是谓词的特殊情况，谓词是命题的扩充。 每个谓词一般都有各自的个体域，把各种个体域综合在一起作为论述范围的域叫全总个体域（全论域）用E表示。 * 计算机学院 * 几个结论 1) 谓词中个体词的顺序是十分重要的，不能随意变更。 2) 一元谓词用以描述某一个客体的某种特性或性质，而n元谓词（二个以上）则用以描述n个客体之间的关系。 3) 0元谓词(不含客体词