在谓词公式中常包含命题变元和客体变元，当客体变元由确定的客体所取代，命题变元用确定的命题所取代时，就称作对谓词公式赋值。一个谓词公式经过赋值以后，就成为具有确定真值t或f的命题。 定义2-5.1给定任何两个谓词公式wffa和wffb，设他们有共同的个体域e，若对a和b的任一组变元进行赋值，所得命题的真值都相同，则称谓词公式a和b在e上是等价的，并记作aûb。 定义2-5.2给定任意谓词公式wffa，其个体域为e，对于a的所有赋值，wfffa都为真，则称wff 定义2-5.3一个谓词公式wffa，如果在所有赋值下都为假，则称该wffa为不可满足的。 定义2-5.4一个谓词公式wffa，如果至少在...