5等价公式的证明,记住常用的公式 方法1.列真值表 方法2用公式的等价变换 例如:证明P→(Q→>R)→(P∧Q)-R P→>(QR)分P(QR)冷(=Pv-QvR 台>(P∧QVR令(P∧Q)->R 注意:不论是证明永真蕴涵式还是证明等价公式以及后边 的求公式的范式,命题逻辑推理,都应用43页的公式。 必须记忆一些常用的公式如P43表中的 永真蕴涵式:I1,I3,L,I10,I1,1,I13, 等价公式:E1~E16,E1,E19,E20,E21,5.等价公式的证明,记住常用的公式. 方法1.列真值表. 方法2.用公式的等价变换. 例如:证明P→(Q→R)(P∧Q)→R P→(Q→R)P(QR)  (PQ)R (PQ)∨R (P∧Q)→R 注意:不论是证明永真蕴涵式,还是证明等价公式以及后边 的求公式的范式,命题逻辑推理,都应用43页的公式。 必须记忆一些常用的公式 如:P43表中的 永真蕴涵式: I1 , I3 , I9 , I10, I11, I12, I13, 等 价 公 式: E1 ~ E16, E18, E19 , E20, E21