应用举例—证明两个公式等值 例1证明p→>(q→r)(∧q)-r 证p->(q→)r) 兮>-pw∨(-qm)(蕴涵等值式,置换规则) 兮(一p-qyr(结合律,置换规则 兮>一(∧qyvr(德摩根律,置换规则) 兮(p∧q)→r(蕴涵等值式,置换规则) 说明:也可以从右边开始演算(请做一遍) 因为每一步都用置换规则,故可不写出 熟练后,基本等值式也可以不写出7 应用举例——证明两个公式等值 例1 证明 p→(q→r)  (pq)→r 证 p→(q→r) p(qr) （蕴涵等值式，置换规则） (pq)r （结合律，置换规则） (pq)r （德摩根律，置换规则） (pq) →r （蕴涵等值式，置换规则） 说明:也可以从右边开始演算（请做一遍） 因为每一步都用置换规则，故可不写出 熟练后，基本等值式也可以不写出