离散数学第二章谓词逻辑-1节.ppt

第一章 内容回顾? 1．命题的概念、表示方法；联结词的逻辑意义。 2．命题公式的递归定义，自然语言翻译成命题公式。 3．真值表的构造、命题公式等价的概念。 4．重言式与蕴含式的定义、逻辑意义，逻辑等价与逻辑蕴含的意义和证明方法。常用的逻辑等价公式和逻辑蕴含公式。 5．命题公式的对偶式、合取范式、析取范式、主合取范式、主析取范式。小项、大项。任给公式化为析取范式、任给公式化为主析取范式、任给公式化为合取范式、任给公式化为主合取范式。 6．命题逻辑的推理理论，主要的推理方法：真值表法、直接证明法、间接证明法。 第二章主要内容 谓词逻辑的引入 2.1 谓词的概念与表示 2.2 命题函数与量词 2.3 谓词公式与翻译 2.4 变元的约束 2.5 谓词演算的等价与蕴含式 2.6 前束范式 2.7 谓词演算的推理理论 小结 习题 本章学习要求 谓词逻辑的引入 命题是具有真假意义的陈述句。 从语法上分析，这种句子一般有主语和谓语。 如：“我是大学生”，“7是质数”。 主语是句子叙述的主语，指出句子要表达、描述的人或物； 谓语是用来说明主语做了什么或处在什么状态。 谓词逻辑的引入 问题的提出： 在命题逻辑中，主要研究命题和命题演算，其基本组成单位是原子命题，一个原子命题只用一个字母表示，而且不对原子命题中的句子成分进行分解。这样有一些逻辑问题无法解决。如部分简单的论断不能用命题逻辑进行推证等。 通过例子看命题逻辑的缺点。 例子 例如.令Ｐ：小张是大学生。 Ｑ：小李是大学生。 命题Ｐ与Ｑ中的谓语是相同的(是大学生)，只是主语不同。 从符号Ｐ、Ｑ中不能归纳出他们都是大学生的共性。 命题逻辑的局限性之一：无法表达原子命题之间所具有的共同特点。 逻辑学中著名的三段论方法，是由一个大前提，一个小前提推出结论的方法。 例如：著名的苏格拉底三段论： 显然这是正确的推理，但在命题逻辑中却无法得到证明。 《谓词逻辑》学习目的 命题逻辑中原子命题是最小的单位，不能够再进行分解，这给推理带来了很大局限性，本章引入谓词逻辑。学习关于谓词逻辑的相关概念和定理，解决实际问题。 2-1 谓词逻辑中的基本概念与表示 要求： 掌握的概念：谓词、谓词填式、n元谓词。 客体和谓词的表示 在命题逻辑中， P： “张三是个大学生”， Q： “李四是个大学生”。 在谓词逻辑中， A： “是个大学生”， t： “张三”， f： “李四”，则 A(t)： “张三是个大学生”， A(f )： “李四是个大学生”。 谓词 更一般地， A(x)：x是个大学生。 客体词的分类及表示 1.客体常量(元)：表示具体的或特定的客体， 一般用带或不带下标的小写英文字母 a,b,c,…,a1,b1,c1,…等表示； 2.客体变量(元)：表示抽象的或泛指的客体， 一般用带或不带下标的小写英文字母 x, y, z, …, x1, y1, z1, …等表示。 谓词分类与表示 用带或不带下标的大写字母来表示谓词， 如P,Q,R, …或A1,A2,A3,…， 谓词常量(元) ：表示具体性质或关系的谓词。 如：P: “是大学生” 谓词常量(元)：表示抽象的、泛指的性质或关 系的谓词。 如：x与y具有关系L。 x，y都是客体变元，谓词为L。 这里仅讨论谓词常量。 n元谓词 例 设有如下命题，并用谓词进行表示。 P：王童是一个三好学生； Q：李新华是李兰的父亲； R：张强与谢莉是好朋友； S：武汉位于北京和广州之间。 结论 1.谓词中客体词的顺序十分重要，不能随意变更。 如命题F(b, c)为“真”，但命题F(c, b)为“假”； 2. S(a)与S(x)的不同： 如上例中S(x)：x是一个三好学生， a为王童。 S(a)是有真值的，但S(x)却没有真值。 具体命题的谓词表示形式和n元谓词是不同的，前者是有真值的，而后者不是命题，它的真值是不确定的。 3. n元谓词与命题的区别： 一个n元谓词不是一个命题，但将n元谓词中的客体变元都用具体的客体取代后，就成为一个命题。而且，客体变元取不同的值对是否成为命题及命题的真值有很大的影响。 河南工业大学离散数学课程组 河南工业大学离散数学课程组 离 散 数 学 河南工业大学 信息科学与工程学院 第二章 谓词逻辑 重点掌握 了解 1 1 谓词逻辑符号化及真值 2 谓词公式的有效性和基本