2.1.1等值的定义 ■给定两个命题公式A和B,而P1…Pn是出现 于A和B中的所有命题变项,那么公式A和B 共有2个解释,若对其中的任一解释,公式 A和B的真值都相等,就称A和B是等值的 (或等价的)。记作A=B或A分B。2.1.1 等值的定义 ◼ 给定两个命题公式A和B, 而P1…Pn是出现 于A和B中的所有命题变项, 那么公式A和B 共有2n个解释, 若对其中的任一解释, 公式 A和B的真值都相等, 就称A和B是等值的 (或等价的)。记作A = B或A  B