离散数学第10章谓词逻辑选编.pptVIP

为什么要研究谓词逻辑？ ① 为了刻画命题内部的逻辑结构。 命题逻辑中主要研究命题和命题演算，原子命题是命题演算的基本单位。 命题逻辑不再对原子命题进行分解 两个原子命题之间，常常有一些共同特征。例如：张三是个大学生，李四是个大学生。 但命题逻辑却无法研究命题内部的逻辑结构及命题之间的内在联系。;② 命题逻辑在推理方面存在局限性，有些简单的论断也不能用命题逻辑进行推证。 例如无法判断著名的“苏格拉底三段论”的正确性。 苏格拉底三段论： 令 P:所有的人都是要死的， Q:苏格拉底是人， R:所以苏格拉底是要死的。 在命题逻辑中，只能用 （P ∧ Q） ?R 表示上述命题，但它不是重言式。 所以，这个简单而著名的论断就无法用命题逻辑予以推证。;原因是：P,Q,R这样的表示太粗略，没有把它们之间的内在联系反映出来。 办法：要反映这种内在联系，就要对原子命题作进一步的分析，分析出其中的客体、谓词、量词等，研究它们之间的形式结构及逻辑关系，总结出正确的推理形式和规则。 这就是谓词逻辑所研究的内容。 谓词逻辑也叫一阶逻辑。;基本知识点： 1、个体词 2、谓词 3、量词 4、基于谓词逻辑的命题符号化 ;基本概念： 1、个体词：可以独立存在的具体的或抽象的客体 个体常元：具体的或特定，一般用a,b,c,…表示 个体变元：抽象的或泛指的，一般用x,y,z,…表示 个体域：个体变元的取值范围： 全总个体域:由宇宙间一切事物组成的.;2、谓词 用来描述个体词性质或个体词之间相互关系的词。 例: (1)3是有理数。 (2)x是无理数。 (3)小李与小王同岁。 (4)x与y有关系L。 其中“…是有理数”、“…是无理数”、“…与…同岁”、 “…与…有关系L”均为谓词。;将上述谓词分别记作大写字母F、G、H、L，则上述可表示为： (1)F(3) (2)G(x) (3)H(a,b) a:小李。b:小王。 (4)L(x,y) ;谓词分类： 谓词常元：表示具体性质或关系的谓词 如上例中F、G、H等命题 谓词变元：表示抽象或泛指性质或关系的谓词 如上例中L命题 ; 由一个谓词和若干个个体变元组成的表达式称为简单命题函数；由n元谓词P和n个个体变元x1 , x2 , …, xn 组成的命题函数，表示为 P(x1 , x2 , …, xn) 。由一个或若干个简单命题函数以及逻辑联结词组成的的命题形式称为复合命题函数。 注意： 不带任何个体变元的谓词称为0元谓词。命题逻辑中的命题可看成是0元谓词。;3、量词 用来表示个体常元或变元之间数量关系的词。 量词分为3种： 全称量词：“一切”、“所有”、“凡”、“每一个”、“任意”等，符号记作?。如：?x 表示个体域内所有的x。 存在量词：“有一个”、“有的”、“存在”、“至少有一个”等，符号记作?。如:?y表示个体域内有个体y。而用?xF(x), ?yG(y)等分别表示在个体域里存在个体具有性质F和存在个体具有性质G。 存在唯一量词：“存在唯一的”、“恰有一个”等，符号记作?!。如令命题 P（x）：x是x+1=0的整数解. 则 ?! x P（x）。;例：在谓词逻辑中将下列命题符号化。 （1）凡是人都呼吸。 （2）有的人是左撇子。 ① 当个体域为人类集合时： 令F(x): x呼吸。G(x): x是左撇子。则 （1）?xF(x) (2) ?xG(x) ② 当个体域为全总个体域时： 令F(x): x呼吸。G(x): x是左撇子。M(x): x是人。则 （1）?x(M(x) ?F(x)) (2) ?x(M(x)∧ G(x));例：在谓词逻辑中将下列命题符号化。 （1）所有的人都长头发。 （2）有的人吸烟。 解：令　M(x): x是人。 （1） 令F(x): x长头发。则符号化为： 　　　?x(M(x) ?F(x));例：在谓词逻辑中将下列命题符号化。 （3）没有人登上过木星。 （4）清华大学的学生未必都是高素质的。 解：令　M(x): x是人。;例：在谓词逻辑中将下列命题符号化 。 （1）兔子比乌龟跑得快。 （2）有的兔子比所有的乌龟跑得快。 解：令　H(x): x是兔子。W(y):y是乌龟。 K(x,y):x比y跑得快。 则符号化为： （1）?x ?y(H(x)∧ W(y) ?K(x,y));例：在谓词逻辑中将下列命题符号化 。 （1）每