西安电子科技大学谓词等价公式$2.4.1软件学院家两个谓词公式A和B,如果A和B在任意的个谓词公式A和B体域上均等价,则称谓词公式A和B等价。等价例如:(Vx)(P(x)→Q(x)(Vx)(-P(x) V Q(x))个-(Vx)(P(x)→Q(x)(日x)(P(x) ^- Q(x)西安电子科技大学 §2.4.1 谓词等价公式 软件学院 谓词公式A和B 等价 两个谓词公式A和B,如果A和B在任意的个 体域上均等价,则称谓词公式A和B等价。 例如: (∀x)(P(x)→Q(x)) ⇔ (∀x)(¬P(x) ∨ Q(x)) ¬(∀x)(P(x)→Q(x)) ⇔ (∃x)(P(x)∧¬ Q(x))