基本等值式(续) 蕴涵等值式:A→>B台AvB 等价等值式:AB兮(A-→>B)(B→4) 假言易位: A→B今-B→4 等价否定等值式:AB分_AB 归谬论: (4->B)(4→>-B)冷A 注意: A,B,C代表任意的命题公式 牢记这些等值式是继续学习的基础5 基本等值式(续) 蕴涵等值式: A→BAB 等价等值式: AB(A→B)(B→A) 假言易位: A→BB→A 等价否定等值式: ABAB 归谬论: (A→B)(A→B) A 注意: A,B,C代表任意的命题公式 牢记这些等值式是继续学习的基础