第二篇 章 命题逻辑等值演算 离散数学及其应用课件.pptVIP

1 主要内容 等值式与基本的等值式 等值演算与置换规则 析取范式与合取范式，主析取范式与主合取范式 联结词完备集 第二章 命题逻辑等值演算 2 2.1 等值式 定义2.1 若等价式AB是重言式，则称A与B等值，记作AB，并称AB是等值式 几点说明： 不要把与混为一谈. A或B可以是任何命题公式, 公式中还可能有哑元出现. 例如 (pq)  ((pq)(rr)) r为左边公式的哑元 用真值表可检查两个公式是否等值 3 等值式例题 例1 判断下列各组公式是否等值: (1) p(qr) 与 (pq) r 结论: p(qr)  (pq) r 4 等值式例题 (2) p(qr) 与 (pq) r 结论: p(qr) 与 (pq) r 不等值 5 基本等值式 双重否定律 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 8 等值演算的应用举例 证明两个公式等值 例2 证明 p(qr)  (pq)r 证 p(qr)  p(qr) （蕴涵等值式，置换规则）  (pq)r （结合律，置换规则）  (pq)r （德摩根律，置换规则）  (pq)r （蕴涵等值式，置换规则） 今后在注明中省去置换规则 注意：用等值演算不能直接证明两个公式不等值 9 证明两个公式不等值 例3 证明 p(qr) 与 (pq)r 不等值 证 方法一 真值表法, 见例1(2) 方法二 观察法. 观察到000, 010是左边的成真赋值，是右边的成假赋值 方法三 先用等值演算化简公式，然后再观察 p(qr) pqr (pq)r (pq)r(pq)r 更容易看出前面的两个赋值分别是左边的成真赋 值和右边的成假赋值 等值演算的应用举例 10 判断公式类型: A为矛盾式当且仅当A  0 A为重言式当且仅当A  1 例4 用等值演算法判断下列公式的类型 (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 （零律） 矛盾式 11 判断公式类型 (2) (pq)(qp)  (pq)(qp) （蕴涵等值式）  (pq)(pq) （交换律）  1 重言式 (3) ((pq)(pq))r  (p(qq))r （分配律）  p1r （排中律）  pr （同一律） 可满足式，101和111是成真赋值，000和010等是成假赋值. 12 2.2 析取范式与合取范式 基本概念 (1) 文字——命题变项及其否定的总称 (2) 简单析取式——有限个文字构成的析取式 如 p, q, pq, pqr, … (3) 简单合取式——有限个文字构成的合取式 如 p, q, pq, pqr, … (4) 析取范式——由有限个简单合取式组成的析取式 如 p, pq, pq,