天津理工大学《离散数学》教学教案(第二章).pdf

《离散数学》教学教案 第 2 章 谓词逻辑 学习目标： 1．理解谓词、命题函数、复合命题函数、全称量词、存在量词、谓词公式、 约束变元、自由变元、谓词演算的等价式与蕴涵式、前束范式等概念； 2 ．掌握谓词公式翻译、谓词公式的前束范式的求法； 3 ．掌握证明两个谓词公式等价的方法； 4 ．掌握谓词演算的推理规则及谓词演算的推理证明的方法。 主要内容： 1．谓词的概念与表示 2 ．谓词公式与翻译 3 ．变元的约束 4 ．谓词演算的等价式与蕴含式 5 ．谓词公式范式 6 ．谓词演算的推理理论 重点： 1．两个谓词公式等价的证明方法； 2 ．谓词演算的推理证明的方法。 难点： 1．谓词演算的推理证明的方法。 教学手段： 通过多个实例的精讲帮助同学理解重点和难点的内容，并通过大量的练习使 同学们巩固和掌握谓词公式翻译的技巧、证明两个命题公式等价的方法、谓词公式 的前束范式的求法及谓词演算的推理证明方法。 习题： 习题2.1：1；习题2.2：2，3；习题2.3：2（2），3（2）；习题2.4：1 （1），2， 3（2），4；习题2.5：1（2）、（4）；习题2.6：2（2）、（4），3。 在第一章的命题逻辑中，命题是最基本的单位，并将原子命题看作是不可再分的基本元 素。两个命题之间没有任何的内在联系。显然，用这种简单的方法无法刻划世界上事物之间 的复杂的逻辑关系，甚至无法表达一些简单而又常见的推理。例如，著名的苏格拉底三段论： 所有的人都是要死的。 苏格拉底是人。 苏格拉底是要死的。 在命题逻辑中就无法表示这种推理过程。 根据常识，我们知道上述论断是正确的，然而利用命题逻辑是无法推证的。因为，在 命题逻辑中，上述推理可表示为P Q R ，其中P , Q, R 分别表示上述三个命题。然而， P Q R 并不是永真式，所以借助命题演算的推理理论不能证明其为重言式。 45 《离散数学》教学教案 为了克服命题逻辑的局限性，我们有必要对原子命题的结构作进一步的细分，划分出 个体词、谓词和量词，研究它们的形式结构和逻辑关系、正确的推理形式和规则，这就是谓 词逻辑的基本内容。 2.1 谓词的基本概念 命题是能够判断真假的陈述句。一般地说，陈述句是由主语和谓语两部分组成，它揭 示了命题的内在结构和命题之间的关系。下面我们就从这两部分对原子命题进行分析。 2.1.1 个体和谓词 定义 2.1.1 在原子命题中，所陈述的对象称之为个体(Object)，它是可以独立存在的具 体事物或抽象的概念。用以刻划个体所具有的性质或个体之间关系的词称为谓词(Predicate) 。 例如“小王是大学生”主语是小王，谓语是“是大学生” 。“2 和 3 是自然数” 由主语“2 和 3” 和谓语“是自然数”组成。主语部分说明的是什么人或什么事，也就是陈述的对象，我们也称 之为个体。如“小王”、“2”、“3”都是个体。“…是大学生”和“…和…是自然数”都是谓词。 例 2.1.1 （1）2 是质数。 （2 ）上课认真听讲是好习惯。 （3 ）李强比王飞高。 （4 ）5 大于 3 。 在上述语句中，“是质数”、“是好习惯”、“… 比…高”、“…大于…”都是谓词，其中前两 个谓词指明个体所具有的性质，后两个谓词刻划两个个体之间的关系。 a 我们约定用小写字母a, b, …表示个体，大写字母 A, B , …表示谓词。例如用 表示２， b c 表示３，A 表示“是质数”，则A(a) 与A(b) 用来表示“ ２是质数”与“ ３是质数” 。若以 表 示李强，d 表示王飞，B 表示“… 比…高”