西安电子科技大学S2.4.2含量词的基本永真式软件学院命题等价式的推广使用命题演算中的等价式可以推广到谓词演算中使用。例如：命题等价式谓词等价式P-≤-PVQ(Vx)(P(×)-→Q(×)(Vx)(-P(×) V Q(×))(PV)≤-P-g-(Vx)R(×) VQ(y)台-(Vx)R(×) △-Q(y)-PVPET(日x)R(×) V (日x)R()台T西安电子科技大学 §2.4.2 含量词的基本永真式 软件学院 一、命题等价式的推广使用 命题演算中的等价式可以推广到谓词演算中使用。 例如： ( ∀x)(P(x)→Q(x)) ⇔ ( ∀x)(¬P(x)∨Q(x)) ¬(( ∀x)R(x)∨Q(y)) ⇔¬( ∀x)R(x)∧¬Q(y) ¬( ∃x)R(x)∨( ∃x)R(x) ⇔ T → ⇔ ∨¬ QPQP ∨¬ )( ⇔ ∧¬ ¬QPQP ⇔∨¬ TPP 命题等价式 谓词等价式