等值演算与置换规则 等值演算 由已知的等值式推演出新的等值式的过程 置换规则:若A台B,则(B)→(4) 等值演算的基础 (1)等值关系的性质:自反、对称、传递 (2)基本的等值式 (3)置换规则
6 等值演算与置换规则 等值演算: 由已知的等值式推演出新的等值式的过程 置换规则：若AB,则(B)(A) 等值演算的基础： (1) 等值关系的性质：自反、对称、传递 (2) 基本的等值式 (3) 置换规则
应用举例—证明两个公式等值 例1证明p→>(q→r)(∧q)-r 证p->(q→)r) 兮>-pw∨(-qm)(蕴涵等值式,置换规则) 兮(一p-qyr(结合律,置换规则 兮>一(∧qyvr(德摩根律,置换规则) 兮(p∧q)→r(蕴涵等值式,置换规则) 说明:也可以从右边开始演算(请做一遍) 因为每一步都用置换规则,故可不写出 熟练后,基本等值式也可以不写出
7 应用举例——证明两个公式等值 例1 证明 p→(q→r) (pq)→r 证 p→(q→r) p(qr) （蕴涵等值式，置换规则） (pq)r （结合律，置换规则） (pq)r （德摩根律，置换规则） (pq) →r （蕴涵等值式，置换规则） 说明:也可以从右边开始演算（请做一遍） 因为每一步都用置换规则，故可不写出 熟练后，基本等值式也可以不写出