离散数学 课件 chapter 4 谓词逻辑.pptx

4 谓词逻辑;本章内容;4.1 谓词逻辑的基本概念;4.1 谓词逻辑的基本概念; 在句子中，可以独立存在的客体称为个体词，而用以描述客体的性质或客体之间的关系即是谓词。;济南是一个省会城市。 离散数学是计算机的基础课程。 刘东是一个游泳健将。 人是聪明的。 ; 个体词的取值范围称为个体域，常用 表示；宇宙间的所有个体域聚集在一起所构成的个体域称为全总个体域。; ：上海是一个现代化的城市； ：甲是乙的父亲； ：3介于2和5之间。 ：李兰与高翔是同班同学。;例 设 表示： 是大学生。;在三段论的例子中，如要对句子 求否定，得;符号化下列命题。; 上述一系列例子，都仅仅只符号化了一部分内容，而对句子中的“对每一个”，“对任意的”，“有一些”等等无法用谓词来表示，这些都是与个体词的数量有关的语句。为了把它们符号化，引进如下两个符号：;老虎; 可以看出，这种表示方式非常不便，总要特别注明个体域，而且如果个体域不同将有可能带来不同的真值。因此，我们对个体域进行统一，全部使用全总个体域，此时，对每一个句子个体变量的变化范围用一个特性谓词刻划它，统一成全总个体域后，此全部个体域在谓词公式中不必说明，常常省略不记。同时，这种特性谓词在加入到命题函数中时必定遵循如下原则： （1）对于全称量词，刻划其对应个体域的特性谓词作为蕴涵式的前件加入； （2）对于存在量词，刻划其对应个体域的特性谓词作为合取式之合取项加入。; 称 为全称量词， 为存在量词，其中的 称为作用变量。一般将量词加在谓词之前，记为 ， 。此时， 称为全称量词或存在量词的辖域。;符号化下述语句。; 由上述例子可知，若 是关于 的一个一元谓词， 是其个体域，任取 ，则 是一个命题，于是 是这样的一个命题：“对于任意 ， ， 都成立。”因此，对命题的真值做如下规定是很自然的。;按照上述定义，当个体域为有限集合时，设 ，则; 设 表示 是素数； 表示 是整数； 表示 。; （1）从上面的例子中可以看出，如存在多个量词，则按从左到右的顺序，即; 为了能够进行演绎和推理，为了对谓词逻辑中关于谓词的表达式加以形式化，利用联结词、谓词与量词同样可以构成符号要求的谓词公式。形式化时涉及以下四类符号：;定义 谓词逻辑中的项，被递归地定义为：; 若 是 元谓词， 是项，则称 为原子谓词公式，简称原子公式。;例 判断下列表达式是否为公式。;张强和李林都是足球运动员； 赵越是象棋迷或围棋迷； 李林比张强高； 汽车比牛车跑得快； 有的汽车比所有火车跑得快； 并不是所有的汽车都比火车跑得快； 不存在跑得同样快的两辆汽车； 没有最大的自然数；; 公式是按上述规则由原子公式、联结词、量词、圆括号和逗号组成的符号串，而命题公式是其特例。 公式中的括号同样与命题公式的括号省略相同，即最外层括号可以省略；但量词后面的括号省略方式为：一量词之辖域中仅出现一个原子公式，则此确定辖域之括号可以省略，否则不能省略其括号。;判断下列公式中各量词的辖域范围。;; 一个量词的辖域是某公式 的子公 式，因此，确定一个量词的辖域，就是找出位于该量词之后的相邻接的子公式。即; 在公式中，某一个变元既可以是自由的，又可以是约束的，此时他们的含义是不同的。为避免混淆，对于表示不同意思的变元，总是以不同的变量符号来表示，即希望一个变元在同一个公式中只以一种身份出现，引入如下规则：;规则2（自由变元的代入规则）： （1）将公式中出现该自由变元的每处都用新的个体变元替换； （2）新变元不允许在原公式中以任何约束形式出现。; 定义 设 是任意一个公式，若 中无自由出现的个体变元，则称 为封闭的