谓词公式中可包含有命题变元和客体变元，当命题变元用确定命题取代，客体变元用确定客体所取代时，就称作对公式赋值。一个谓词公式经过赋值后，就成为真值确定命题（T或F）定义2-5.1 给定任何两个谓词公式wff A和wff B，设它们有共同个体域E。若对A和B任意一组变元进行赋值，所得命题真值相同，则称谓词公式A和B在E上是等价。记为AB。

定义2-5.2  任意给定谓词公式wff A，其个体域为E。若对A任意变元赋值，wff A都为真，则称该wff A在E上是有效（或永真）。定义2-5.3对于一个谓词公式wff A，假如在全部赋值下，该公式真值都为假，则称该wff A 为不可满足。定义2-5.4对于一个谓词公式wff A，假如最少在一个赋值下为真，则称该wff A 为可满足。