西安电子科技大学$2.4.1谓词等价公式软件学院谓词公式间的等价关系与变元的个体域相关给定任意两个谓词公式A和B，设其中的变元谓词公式A和B在E上等价有相同的个体域E，若A和B的任一赋值，它包括以下两方面：（1）对公式A和B中的相同谓词符号，指派同一个在个体域E上有确定含义的谓词（2）对公式A和B中的相同的个体变元指派论域E中同一确定的个体。若A和B的真值均相同，则称谓词公式A和B在个体域E上等价西安电子科技大学 §2.4.1 谓词等价公式 软件学院 谓词公式A和B 在E上等价 谓词公式间的等价关系与变元的个体域相关 给定任意两个谓词公式A和B，设其中的变元 有相同的个体域E，若A和B的任一赋值，它 包括以下两方面： （1）对公式A和B中的相同谓词符号，指派 同一个在个体域E上有确定含义的谓词； （2）对公式A和B中的相同的个体变元指派 论域E中同一确定的个体。 若A和B的真值均相同，则称谓词公式A和B 在个体域E上等价