西安电子科技大学S2.4.2含量词的基本永真式软件学院四、量词辖域的扩张与收缩(Vx)A(x) VB(Vx)(A(x)vB)(Vx)A(x) ^B(Vx)(A(x)^B)B中没有x的自由出现(日x)A(x) VB( x)(A(x) VB)(x)A(x)△B(= x)(A(x) ^B)当遇到联结词入和V时，如果不改变任何变元的性质和受约束的量词，量词的辖域可以任意扩张和收缩。西安电子科技大学 §2.4.2 含量词的基本永真式 软件学院 四、量词辖域的扩张与收缩 ( ∀x)A(x) ∨ B ⇔ ( ∀x)(A(x) ∨B) ( ∀x)A(x) ∧ B ⇔ ( ∀x)(A(x) ∧B) ( ∃x)A(x) ∨ B ⇔ ( ∃ x)(A(x) ∨B) ( ∃x)A(x) ∧ B ⇔ ( ∃ x)(A(x) ∧B) B中没有 x的自由出现 当遇到联结词 ∧ 和 ∨时，如果不改变任何变元的 性质和受约束的量词，量词的辖域可以任意扩 张和收缩