西安电子科技大学谓词等价式$2.4.1软件学院如果在任意的个体域上，在谓词公式A的任谓词永真式一赋值下，A的真值均为T，则称谓词公式A是永真式或有效式。如果在任意的个体域上，在谓词公式A的任谓词永假式一赋值下，A的真值均为F，则称谓词公式A是永假式或不可满足式。西安电子科技大学 §2.4.1 谓词等价式 软件学院 谓词永真式 如果在任意的个体域上，在谓词公式A 的任 一赋值下，A的真值均为T，则称谓词公式A 是永真式或有效式。 如果在任意的个体域上，在谓词公式A 的任 一赋值下，A的真值均为F，则称谓词公式A 是永假式或不可满足式。 谓词永假式