离散数学---谓词逻辑摘要.pptVIP

第二章 谓词逻辑; 在命题逻辑中，命题演算的基本单位是命题，不再对原子命题进行分解，故无法研究命题语句的结构、成份和内在的逻辑特征。 如果任何两个原子命题具有一些共同特征，那么欲表达这些共同特征，显然是不可能的事。这就使得在命题逻辑中，甚至无法处理一些简单而又常见的推理过程。 在命题的研究中，基于谓词分析的逻辑，称为谓词逻辑。 谓词逻辑是命题逻辑的扩充和发展。 ;本章重点; ;经典例子;引入谓词;一、基本三要素;例如;谓词;谓词常项和谓词变项;谓词与命题的关系;使用谓词注意：;量词?? ;?xA(x)，?xA(x);二、将命题用0元谓词符号化;带量词命题的符号化;设F（x）：x是要死的。G（x）：x长寿。 一、考虑个体域D为人类的集合 1符号化为?xF(x) 2符号化为 ?xG(X) 二、考虑个体域D为全总个体域 如果1符号化为?xF(x) 2符??化为 ?xG(X);这时将命题转换为： 1.对所有个体而言，如果它是人，则它是要死的。 2.存在这样的个体，它是人并且长寿。 ;如果1符号化为：?x（H(x) ∧ F(x) ) 2符号化为：?x (H(x ) → G (X)) 显然是错的。;设A(x):x犯错。 原命题可以化为：所有人都要犯错误；对所有的x，x是要犯错的。 符号化为：?xA(x) 也可以化为：没有不犯错的人；不存在这样的x，x不犯错。符号化为： ??x?A(x) ;例2 在一阶逻辑中将下面命题符号化 （1）凡有理数均可表示成分数 （2）有的有理数是整数 要求： 1）个体域为有理数集合 2）个体域为实数集合 3）个体域为全总个体域 ;例3 将下列命题符号化 （1）对所有x，均有x2-1=(x+1)(x-1) （2）存在x，使得:x+5=2 要求： 1）个体域为自然数集合 2）个体域为实数集合 ;例4 ：在一阶逻辑中将下面命题符号化 （1）凡偶数均能被2整除 （2）存在着偶素数 （3）没有不吃饭的人 （4）素数不全是奇数;例5.对任意的x都存在y，使得x +y=2。D=实数集合;例6.任意大于等于4的偶数，都可以表示成两个素数之和。;例7：所有的金属都溶解于某种液体中。;（课堂 作业）