基本等值式 8.零律 A∨11,A∧00 9.同一律 AV0分>A,A∧1A 10.排中律 AV-A台1 11.矛盾律 A∧_A分0 12.蕴涵等值式 A→B台-AVB 13.等价等值式 A<>B分(A→B)∧(B→A) 14.假言易位 A→B-B→1A 15.等价否定等值式AB分1AB 16.归谬论 (A→B)∧(A→B)分1A基本等值式 8.零律 A∨1  1,A∧0  0 9.同一律 A∨0  A，A∧1  A 10.排中律 A∨┐A  1 11.矛盾律 A∧┐A  0 12.蕴涵等值式 A→B  ┐A∨B 13.等价等值式 AB  (A→B)∧(B→A) 14.假言易位 A→B  ┐B→┐A 15.等价否定等值式 AB  ┐A┐B 16.归谬论 (A→B)∧(A→┐B)  ┐A