离散数学 习题课一：第1章 命题逻辑.pdfVIP

习题课一 ——第1章命题逻辑 1 习题课一：命题逻辑 一、 内容与要求 1． 内容一 命题、真值、命题的分类、命题符号化 联结词, , , , 及复合命题符号化 命题公式及层次 公式的类型 真值表及应用 2 ． 内容一学习要求 深刻理解各联结词的逻辑关系 会求复合命题的真值 熟练地将复合命题符号化 准确地求公式的真值表，并用它求公式成真与成假赋 值及判断公式类型 3.内容二 等值式与等值演算 基本的等值式（16 组，24 个公式） 联结词全功能集（完备集） 主析取范式与主合取范式 4.内容二学习要求 深刻理解等值式的概念； 牢记基本等值式的名称及它们的内容； 了解简单析取式、简单合取式、析取范式、合取范式的概念； 深刻理解极小项、极大项的概念、名称及下角标与成真、成假赋值 的关系，并理解简单析取式与极小项的关系； 熟练掌握求主范式的方法（等值演算、真值表等）； 会用公式的主范式求公式的成真、成假赋值及判断公式的类型、简 单应用； 会将任何公式化成任何联结词全功能集（完备集）中的公式。 5.内容三 推理的形式结构的不同形式 判断推理是否正确的不同方法 ①真值表法 ②等值演算法 ③主析取范式法 ④构造证明法 … 在自然推理系统P 中构造证明 6. 内容三学习要求 理解并记住推理形式结构的如下形式： ① (A A …A )B 1 2 k ② 前提：A , A , … , A 1 2 k 结论：B 熟练掌握判断推理是否正确的不同方法（如真值表法、等值演算法、 主析取范式法等） 牢记P 系统中各条推理规则（内容与名称） 会用附加前提证明法及归谬法 补充知识一： 对偶式与对偶原理 一、 对偶式和对偶原理 1. 定义1.5.1：在仅含有联结词, ∧, ∨的命题公式A 中，将∨换成∧, ∧ 换成∨，若A 中含有0 或1，就将0 换成 1，1 换成0 ，所得命题公式称为 A 的对偶式，记为A* . [注] ：从定义不难看出，(A *)* 还原成A ，即对偶是相互的。 例 1.5.1 ：试写出下列命题公式的对偶式 1）A ：(p ∧q) ∨r ， A* ： (p ∨q) ∧r 2）A ：(p ∧q) ∨(p ∧ (q ∨s)) ， A* ： (p ∨q) ∧(p ∨ (q ∧s)) 3）A ：((p ∨q) ∧0) ∧(1 ∧ (r ∨p )) ，A* ： ((p ∧q) ∨1) ∨(0 ∨ (r ∧p )) 2. 定理 1.5.1： 设A 和A* 互为对偶式，p 1,p 2 ,…,p n 是出现在A 和A* 中的 全部命题变项，将A 和A* 写成n 元函数形式，则， (1) A (p ,p ,…,p ) A* (p , p ,…, p ) 1 2 n 1 2 n (2) A (p , p ,…, p )  A* (p ,p ,…,p ) 1 2 n 1 2 n 例如：A 为p ∨q ，则A* 为p ∧q ，于是由（1）可得：(p ∨q)  p ∧q ， 类似地，由（2）可得：p ∨q  (p ∧q) ，这就是De Morgan 律。 3. 定理1.5.2