若给定了两个谓词公式A, B, 说A和B是等值的, 如果在公式A, B的任一解释下, A和B都有相同的真值。等价的说法是A, B等值当且仅当AB是普遍有效的公式。A和B等值, 就记作A = B或AB。 一、由命题公式移植来的等值式 　　若将命题公式的等值式, 直接以谓词公式代入命题变项便可得谓词等值式。