5.1否定型等值式 ■若给定了两个谓词公式A,B,说A和B是等值 的,如果在公式A,B的任一解释下,A和B都 有相同的真值 等价的说法是A,B等值当且仅当AB是普遍 有效的公式A和B等值.就记作A=B或AB5．1 否定型等值式  若给定了两个谓词公式A，B，说A和B是等值 的，如果在公式A，B的任一解释下，A和B都 有相同的真值．  等价的说法是A，B等值当且仅当A↔B是普遍 有效的公式,A和B等值．就记作A＝B或AB