四川农业大学《离散数学》课件-第3章谓词逻辑.pptxVIP

学习要求历史人物自然语言的谓词符号化谓词公式与解释 1内容导航CONTENTS谓词公式的标准型——前束范式谓词逻辑的推理理论 3.1 3.2 3.3 3.4谓词逻辑的应用 3.5作业 3.6第三章谓词逻辑四川农业大学《离散数学》 1848-1923，德国数学家、逻辑学家和哲学家1906-1978，美籍奥地利数学家、逻辑学家和哲学家，二十世纪最伟大的逻辑学家之一 历史人物 学习要求历史人物自然语言的谓词符号化谓词公式与解释 1内容导航CONTENTS谓词公式的标准型——前束范式谓词逻辑的推理理论 3.1 3.2 3.3 3.4谓词逻辑的应用 3.5作业 3.6 重点1 自然语言的谓词符号化2 谓词公式的解释3 特性谓词识别与翻译4 基本等价规律5 量词去掉/添加规则6 谓词逻辑的推理难点1 自然语言的谓词符号化2 谓词逻辑与命题逻辑的联系与区别3 谓词翻译的两条原则4 合式公式的解释5 量词去掉/添加规则的正确使用 学习要求 学习要求历史人物自然语言的谓词符号化谓词公式与解释 1内容导航CONTENTS谓词公式的标准型——前束范式谓词逻辑的推理理论 3.1 3.2 3.3 3.4谓词逻辑的应用 3.5作业 3.6 命题是具有真假意义的陈述句，从语法上分析，一个陈述句由主语和谓语两部分组成。 例如，“计算机是现代科学技术必不可少的工具” 例如 “陈华是电子科技大学的学生”； “张强是电子科技大学的学生”。 若Ｐ：是电子科技大学的学生--P(陈华) --P(张强) x若Ｐ(x)：x是电子科技大学的学生谓词个体词命题函数3.1 自然语言的谓词符号化 3.1.1 谓词定义3.1 在原子命题中，可以独立存在的客体（句子中的主语、宾语等），称为个体词（Individual），用以刻画客体性质或客体之间关系的部分称为谓词（Predicate）。例3.1 指出下列命题的个体词和谓词。（1）九寨沟风景区位于四川省。（2）离散数学是一门非常有趣的课程。（3）人都喜欢游泳。（4）中国人是勤劳善良的。解：题号个体词谓词（1）九寨沟风景区位于四川（2）离散数学是一门非常有趣的课程（3）人都喜欢游泳（4）中国人是勤劳善良的刻画的是某客体的性质刻画的是客体之间的关系个体常量，用a,b…表示个体变量，用x,y…表示,个体变量的取值范围称为个体域宇宙间的所有个体聚集在一起所构成的个体域称为全总个体域 定义3.2 设P(x1,x2,…,xn)是定义在Dn上的n元函数，其中D为非空的个体域。如果P(x1,x2,…,xn)的值域是{0，1}，则称P(x1,x2,…,xn)为n元命题函数或n元谓词（Propositional Function）。例3.2 设P(x,y,z)表示语句xy=z。试指出命题P(2,4,8)，P(1,3,7)的真值。解：P(2,4,8)表示命题2×4=8，其真值为真； P(1,3,7)表示命题1×3=7，其真值为假。3.1.1 谓词 解：设P(x,y)：x位于y； Q(x)：x是一门非常有趣的课程； R(x,y)：x喜欢y； S(x)：x是勤劳善良的； a：九寨沟风景区； b：四川省； c：离散数学； x：人； e：游泳； y：中国人。则 这四个命题可以分别表示为：P(a,b)，Q(c)，R(x,e)和S(y)。3.1.1 谓词例3.3 试用n元谓词表下面四个命题。（1）九寨沟风景区位于四川省。（2）离散数学是一门非常有趣的课程。（3）人都喜欢游泳。（4）中国人是勤劳善良的。注意：（1）谓词中个体词的顺序是十分重要的，不能随意改变。（2）0元谓词（不含个体变量）实际上就是一般的命题，因此命题是谓词的特殊情形。 如果假设P(x)：x是人；Q(x)：x是要死的；a：苏格拉底，则苏格拉底三段论可以符号化为：所有的x，Q(x)，x∈{人}；P(a)；显然，n元谓词不能符号化“所有的”！！ 3.1.1 谓词 怎么用n元谓词表示苏格拉底三段论呢？Q(a) 3.1.2 量词定义3.3 表达全部数量关系的词语如“一切”，“所有”，“每一个”等称为全称量词（Universal Quantifier）,记为?；所有的x则记为?x。表达部分数量关系的词语如“存在”，“有一个”，“有一些”等称为存在量词（Existential Quantifier），记为?；有一些x则记为?x。其中x被称为作用变量（Function Variable）。一般将量词加在对应的谓词之前，记为?xF(x)， ?xF(x)。此时，F(x)被称为全称量词和存在量词的辖域（S