西安电子科技大学$2.2.4谓词公式的赋值软件学院2【例题】设谓词公式A=P()^(3x)P()，个体变元x的论域为：(a,b)。给出A在所有可能的赋值指派下的真值。解答：关于谓词P（x的解释可以有以下4种：(I)P(a)为 T，P(b)为 T;表2.3-1谓词公式P(x)A(3x)P(x)的赋值(II) P(a)为 T,P(b)为 F;P(x)x(3x)P(x)P(x) A(Ex)P(x)(I) P(a)为F,P(b)为 T;TTa(IV)P(a)为F,P(b)为F.1TbTTTaI在P(x）的每一种可能的解释FbT下，分别为自由变元x指定FTaIII其个体域中的个体a或b，TTbA的真值如右表所示：FFaIVbFF西安电子科技大学 §2.2.4 谓词公式的赋值 软件学院 在P(x)的每一种可能的解释 下，分别为自由变元x指定 其个体域中的个体a或b， A的真值如右表所示：