离散数学第二章节课件.ppt

第一章 内容回顾? 1．命题的概念、表示方法；联结词的逻辑意义。 2．命题公式的递归定义，自然语言翻译成命题公式。 3．真值表的构造、命题公式等价的概念。 4．重言式与蕴含式的定义、逻辑意义，逻辑等价与逻辑蕴含的意义和证明方法。常用的逻辑等价公式和逻辑蕴含公式。 5．命题公式的对偶式、合取范式、析取范式、主合取范式、主析取范式。小项、大项。任给公式化为析取范式、任给公式化为主析取范式、任给公式化为合取范式、任给公式化为主合取范式。 6．命题逻辑的推理理论，主要的推理方法：真值表法、直接证明法、间接证明法。 第二章主要内容 谓词逻辑的引入 2.1 谓词的概念与表示 2.2 命题函数与量词 2.3 谓词公式与翻译 2.4 变元的约束 2.5 谓词演算的等价与蕴含式 2.6 前束范式 2.7 谓词演算的推理理论 小结 习题 本章学习要求 谓词逻辑的引入 问题的提出： 在命题逻辑中，主要研究命题和命题演算，其基本组成单位是原子命题，原子命题是基本的、不可再分的单位；但实际上，有些原子命题间常常有一些共同特性，还可进一步对其进行分析，即研究刻划命题内部的逻辑结构。(即命题逻辑的局限性) 在第一章, 一个原子命题只用一个字母表示，而不再对命题中的句子成分细分。这样有一些逻辑问题无法解决。如部分简单的论断不能用命题逻辑进行推证等。 如下面的例子。 例子 例如.令Ｐ：小张是大学生。 Ｑ：小李是大学生。 命题Ｐ与Ｑ中的谓语是相同的(是大学生),只是主语不同。 从符号Ｐ、Ｑ中不能归纳出他们都是大学生的共性。 我们希望从所使用的符号那里带给我们更多的信息，比如可以看出他们的共性。这种想法在第一章是无法实现的。 逻辑学中著名的三段论方法，是由一个大前提，一个小前提推出结论的方法。这方面的例子如： 著名的苏格拉底三段论： 显然这是正确的推理，但在命题逻辑中却无法得到证明，因为三段论的每句话都是一个原子命题，我们可分别用P，Q，R来表示。这样，三段论方法用形式符号表示应为 P∧Q ? R 但在命题逻辑里， P∧Q→R显然不是重言式。 命题演算的局限性: 不能反映命题之间的内在联系,即不能将命题分解开。 谓词逻辑 解决这个问题的方法： 在表示命题时，既表示出主语，也表示出谓语， 就可以解决上述问题。这就提出了谓词的概念。 令S(x)表示x是大学生，a:小张，b:小李 命题P表示成S(a):小张是大学生。 命题Q表示成S(b):小李是大学生。 从符号S(a)、S(b)可看出小张和小李都是大学生的共性. 谓词逻辑 令N(x):x是自然数。I(x):x是整数。 ?表示所有的。 A: ?x(N(x)→I(x))B :N(8) C :I(8) 《谓词逻辑》学习目的 命题逻辑中原子命题是最小的单位，不能够再进行分解，这给推理带来了很大局限性，本章引入谓词逻辑。学习关于谓词逻辑的相关概念和定理，解决实际问题。 2-1 谓词逻辑中的基本概念与表示 要求： 掌握的概念：谓词、谓词填式、n元谓词。 基本概念的引入 命题是具有真假意义的陈述句。 从语法上分析，这种句子一般有主语和谓语。 如：“我是大学生”，“7是质数”。 主语是谓语陈述的对象，指出谓语说的是“谁”或者“什么”； 谓语是用来陈述主语的，说明主语“怎么样”或者“是什么” 。 对应的，在研究命题内部逻辑结构时，把这两部分称为客体或个体、谓词。 一、客体与谓词 客体定义：能够独立存在的事物（句子中的主语、宾语等），称之为客体(Individual) ，也称之为个体。它可以是具体的，也可以是抽象的事物。 谓词定义：用以表示客体的性质或者客体之间的关系，称之为谓词(Predicate) 。 例如，找出下面的客体、谓词。 命题：电子计算机是科学技术的工具。 客体：电子计算机 谓词：是科学技术的工具 命题：张三比李四高。 客体：张三、李四。 谓词：比…高 客体词的分类及表示 表示具体的或特定的客体词称为客体常量(Individual Constant)，一般客体词常量用带或不带下标的小写英文字母a,b,c,…,a1,b1,c1,…等表示； 表示抽象的或泛指的客体词称为客体变量(Individual Variable)，一般用带或不带下标的小写英文字母x, y, z, …, x1, y1, z1, …等表示。 谓词分类与表示 用带或不带下标的大写字母来表示谓词， 如P,Q,R, …或A1,A2,A3,…， 表示具体性质或关系的谓词，称为谓词常量。 如：P: “是大学生” 表示抽象的、泛指的性质或关系的谓词，称为谓词变元。 如：x与y具有关系L。 x，y都是客体变元，谓词为L。 这里仅讨论谓词常量。 用谓词