西安电子科技大学S2.4.3多个量词的使用软件学院例如：设x的个体域为：全班的男生，y的个体域为：全班的女生。A(x,y):x与y跳过舞(Vx)(y)A(x,y):“班上的每个男生都和某些女生跳过舞”“班上的某些女生与每个男生都和跳过舞”(y)(Vx)A(x,y):(三y)(Vx)A(x,y) (Vx)(y)A(x,y)(y)(Vx)A(x,y) 二 (Vx)(y)A(x,y)西安电子科技大学 §2.4.3 多个量词的使用 软件学院 (∀x)(∃y)A(x,y)：“班上的每个男生都和某些女生跳过舞” 设x的个体域为：全班的男生，y的个体域为：全班的女生。 A(x,y):x与y跳过舞 (∃y)(∀x)A(x,y)：“班上的某些女生与每个男生都和跳过舞” (∃y)(∀x)A(x,y) (∃y)(∀x)A(x,y) ⇔/ (∀x)(∃y)A(x,y) ⇒(∀x)(∃y)A(x,y) 例如：