离散数学 谓词逻辑新.pptVIP

; 在命题逻辑中,原子命题是进行演算的基本单位,不研究命题的内部结构以及命题之间的内在联系,因而,命题逻辑中的推理有很大的局限性。例如,著名的苏格拉底三段论： 所有的人都是要死的, 苏格拉底是人, 所以苏格拉底是要死的。 符号化： 分别用P、Q、R表示以上三个命题,则P∧Q→R表示这一推理过程。 蕴含式P∧Q→R不是重言式,虽然凭我们的直觉这个论断正确,在内部逻辑中却无法证明。 谓词逻辑的任务就是对原子命题作进一步的分析,研究其内部的逻辑结构,并在此基础上更深入地刻画推理。;谓词逻辑：原子命题＝客体词＋谓词 命题所陈述的对象称为客体词。它可以是一个具体的事物,也可以是一个抽象的概念。例如,李明、自然数、思想等都可以作为客体词。 定义用来刻画客体词的性质或客体词之间的关系的词称为谓词。 例如： π是无理数。 小李是计算机系的学生。 李明比王宏高2厘米。 “π”、“小李”、“李明”、“王宏”都是客体词； “……是无理数”“……是计算机系的学生”“……高2厘米”都是谓词。前两个谓词表示客体词的性质,而后一个谓词描述客体词之间的关系。;谓词的表示;例子;一般来说,谓词P(x1 ,…,xn)不是命题,真值无法确定,只有当n 个客体常元代替 x1,x2 ,…, xn 这n个客体变元之后 ,才有了确定的真值,因而也就成了命题。 例如,L(x,y) 是表示x小于y的二元谓词,它的真值不能确定,当以2(用a 表示)、3(用b表示)替换x和y之后,L(a,b)成为真命题。;2.2命题函数与量词;客体变元的取值范围称为个体域(或论述域)。个体域可以是有限客体的集合,如：{a、b、c}、{计算机系的学生}；也可以是无限客体的集合,如实数几何、自然数集合等。 特别是,当没有特别声明时,可以将宇宙间的一切事物和概念构成的集合作为个体域,称为全总个体域。;量 词 1.所有的人都是要死的。 2.有些人是要死的。 这两个命题中的客体词和谓语均相同,区别在于“所有的”和“有些”这两个表示数量的词。表示数量的词在谓词逻辑中称为量词,量词包括全称量词和存在量词两种。 全称量词对应日常语言中的“一切”、“所有的”、“任意的”等词,表示对个体域的所有客体,用符号“?”表示。 存在量词对应对应日常语言中的“存在着”、“至少有一个”、“有些”等词,表示存在着个体域的客体,用符号“? ”表示.; 例如： ? xF(x)表示个体域中的所有客体都有性质F； ? xF(x)表示存在着个体域中的客体具有性质F。 当个体域有限时,设个体域为{a1,a2,…,an },则 ?x F(x)?F(a1)∧F(a2)∧… ∧ F(an ) ?x F(x)?F(a1) ∨ F(a2)∨… ∨F(an) ;符号化:谓词F(x)表示是要死的。 当个体域为人类集合时,上述两命题可分别符号化为 ① ? x F(x) ② ?x F(x)。 (所有的人都是要死的。 有些人是要死的。) 引入新的谓词M(x),将人类分离出来。在全总个体域下,以上两命题可分别叙述为： ? x(M(x)→F(x)) ? x (M(x)∧F(x)) ★从以上两命题的符号化可以看出,同一命题在不同个体域下符号化的形式可能不同。 ; 这里,M(x)称为特性谓词。应该注意的是,全称量词和存在量词符号化时,引入特性谓词时的形式是不同的。 用全称量词 符号化时,特性谓词作为条件式的前件； 用存在量词符号化时则作为合取式的一项。;对于任一给定的实数x,都存在着一个实数y,使得x+y=0。 如果取个体域为实数集合 ? x ? y H(x, y ) 然而 ? y ? x H(x, y )： 存在着一个少数y,对于任一实数x,使得x+y=0 由此可见,量词出现的不同顺序表达了不同的含义,量词的顺序不能随意颠倒。我们约定,量词按从左到右的顺序读出。;练习;2.3谓词公式与翻译;;例 1 在谓词逻辑中将下列命题符号化。 (1)没有不死的人。 (2)不存在最小数。 (3)教育技术系的学生都学离散数学。 解 题目中没有指定个体域,取个体域为全总个体域。 (1)假设,M(x)：x是人,F(x)：x是要死的，那么 ??x(M(x) ∧?F(x)) (2)假设,N(x)：x是数,L(x,y)：x小于y，