西安电子科技大学S2.4.2含量词的基本永真式软件学院命题等价式的推广使用但要注意使用的形式：例如：(Vx)-P(x) VQ(x)(Vx)P(x)-Q(x)-(Vx)R(x) V Q(y)(Vx)-R(x) ^△-Q(y)T(Vx)R(x) V-R(x)西安电子科技大学 §2.4.2 含量词的基本永真式 软件学院 一、命题等价式的推广使用 但要注意使用的形式： ( ∀x)P(x) →Q(x) ⇔ ( ∀x)¬P(x) ∨Q(x) / ( ∀x)R(x) ∨¬R(x) ⇔/ T ¬( ( ∀x)R(x) ∨ Q(y)) ⇔/ ( ∀x)¬R(x) ∧¬Q(y) 例如：