常用的蕴涵永真式 8 1.A->(AvB) 蕴含永真式在逻辑推理 2.(AΛB)→A 3.(A→B)ΛA)>B 中相当重要 4.(A>B)∧B)>A 5.(AVB)ΛB)>A 6.(A→B)Λ(B→C)→(A→C) 7.(A←>B)(B←→C)→(A←→C) 8.(A>B)Λ(C>D)Λ(AVC)>(BVD) (A→B)Λ(A→B)>B 9.(A→B)A(C>D)Λ(BVD)>(AVC)常用的蕴涵永真式 8 9.(( ) ( ) ( )) ( ) (( ) ( )) 8.(( ) ( ) ( )) ( ) 7.(( ) ( )) ( ) 6.(( ) ( )) ( ) 5.(( ) ) 4.(( ) ) 3.(( ) ) 2.( ) 1. ( ) A B C D B D A C A B A B B A B C D A C B D A B B C A C A B B C A C A B B A A B B A A B A B A B A A A B →  → →    →    →   → → →  →   →     →  →  → → →    → →   →  →  →  → →  蕴含永真式在逻辑推理 中相当重要