一、 等值的定义　　 　　 给定两个命题公式A和B, 而P1…Pn是出现于A和B中的所有命题变项, 那么公式A和B共有2n个解释, 若对其中的任一解释下, 公式A和B的真值都相等, 就称A和B是等值的(或称等价)。记作A = B或AB。 　　注意，定义中引进的符号""不是联结词符，它只是当A与B等值时的一种简便记法。千万不要将与或与＝混为一谈。 根据定义判断两命题公式是否等值可用真值表法，但可将真值表简化。设A，B为二命题公式，由定义判断A与B是否等值应判断AB是否为重言式，若AB的真值表最后一列全为T，则AB为重言式，因而AB。但最后一列全为T当且仅当在各赋值之下，A与B的真值相同，因而判断A与B是否等值等价于判断A，B的真值表是否相同。