离散数学命题逻辑等值演算.pptVIP

* * 第二章 命题逻辑等值演算 第一节 等值式 一、等值式与基本的等值式 2、基本的等值式 二、等值演算与置换规则 三、等值演算的应用举例（以后章节待续） 1．证明两个公式等值 2. 判断公式类型 3．解判定问题：见书上例2.6 第二节 析取范式与合取范式 一、析取范式与合取范式 二、主析取范式与主合取范式 2. 主析取范式与主合取范式 3. 命题公式A的主析取范式与主合取范式 4. 用等值演算法求公式的主范式的步骤： 3. 主范式的用途——与真值表相同. 二、联结词的完备集 本章的主要内容： 等值式与基本的等值式 等值演算与置换规则 析取范式与合取范式，主析取范式与主合取范式 联结词完备集 本章与其他各章的联系 是第一章的抽象与延伸 是后续各章的先行准备 等值式 定义2.1 若等价式A(B是重言式，则称A与B等值， 记作A(B，并称A(B是等值式 说明：定义中，A, B, (均为元语言符号，A或B中可能有哑元出现. 例如，在 (p(q) ( (((p(q)( ((r(r)) 中，r为左边公式的哑元. 用真值表可验证两个公式是否等值 请验证：p((q(r) ( (p(q) (r,p((q(r) ? (p(q) (r 双重否定律 ((A(A 幂等律 A(A(A, A(A(A 交换律 A(B(B(A, A(B(B(A 结合律 (A(B)(C(A((B(C), (A(B)(C(A((B(C) 分配律 A((B(C)( (A(B)((A(C), A((B(C)( (A(B)((A(C) 德摩根律 ((A(B)((A((B ((A(B)((A((B 吸收律 A((A(B)(A, A((A(B)(A 零律 A(1(1, A(0(0 同一律 A(0(A. A(1(A 排中律 A((A(1 矛盾律 A((A(0 蕴涵等值式 A(B((A(B 等价等值式 A(B((A(B)((B(A) 假言易位 A(B((B((A 等价否定等值式 A(B((A((B 归谬论 (A(B)((A((B) ((A 注意：要牢记各个等值式，这是继续学习的基础. １.等值演算——由已知的等值式推演出新的等值式的过程 ２.等值演算的基础： （1）等值关系的性质：自反、对称、传递性 （2）基本的等值式 （3）置换规则（见3） ３.置换规则 设((A)是含公式A的命题公式，((B)是用公式B置换了((A)中的所有的A后得到的命题公式，若B(A，则((B)(((A) 例 证明 p((q(r) ( (p(q)(r 证 p((q(r) ( (p(((q(r) （蕴涵等值式，置换规则） ( ((p((q)(r （结合律，置换规则） ( ((p(q)(r （德摩根律，置换规则） ( (p(q)(r （蕴涵等值式，置换规则） 几点说明： 也可以从右边开始演算（请做一遍） 因为每一步都用置换规则，故可不写出 熟练后，基本等值式也可以不写出 用等值演算不能直接证明两个公式不等值 例 证明 p((q(r) ? (p(q)(r 证 方法一 真值表法（自己证） 方法二观察赋值法. 易知000, 010等是左边 的成真赋值，是右边的成假赋值 方法三 用等值演算先化简两个公式，再观察. 例 用等值演算法判断下列公式的类型 （1）q(((p(q) （2）(p(q)(((q((p) （3）((p(q)((p((q))(r) 解（1）q(((p(q) ( q((((p(q) （蕴涵等值式） ( q((p((q) （德摩根律） ( p((q((q) （交换律，结合律） ( p(0 （矛盾律） ( 0 （零律） 由最后一步可知，（1）为矛盾式. （2）(p(q)(((q((p) ( ((p(q)((q((p) （蕴涵等值式） ( ((p(q)(((p(q) （交换律） ( 1 由最后一步可知，（2）为重言式. 问：最后一步为什么等值于1？ 说明：（2）的演算步骤可长可短，以上演算最省. （3）((p(q)((p((q))(r) ( (p((q((q))(r （分配律） ( p(1(r （排中律） ( p(r （同一律） 由最后一步可知，（3）不是矛盾式，也不是重言式， 它是可满足式，其实101, 111是成