应用举例——证明两个公式不等值 例2证明:p→>(q→)n(-→q)-r 用等值演算不能直接证明两个公式不等值,证明两 个公式不等值的基本思想是找到一个赋值使一个成 真,另一个成假 方法一真值表法(自己证) 方法二观察赋值法.容易看出00,000等是左边的 成真赋值,是右边的成假赋值 方法三用等值演算先化简两个公式,再观察8 应用举例——证明两个公式不等值 例2 证明: p→(q→r) (p→q) →r 用等值演算不能直接证明两个公式不等值,证明两 个公式不等值的基本思想是找到一个赋值使一个成 真,另一个成假. 方法一 真值表法（自己证） 方法二 观察赋值法. 容易看出000, 010等是左边的 成真赋值，是右边的成假赋值. 方法三 用等值演算先化简两个公式，再观察