量词的作用域 口观察量化表达式: a Vx(P(x)Q(x)) n xP(x)AQ(x) aVx(P(x,y)入Q(xy) VxP(x)入VxQ(x) VxP(x)∧yQ(y) 口量化表达式中的变元:绑定、自由、作用域、替换量词的作用域  观察量化表达式：  x(P(x)Q(x))  xP(x)Q(x)  x(P(x,y)Q(x,y))  xP(x)xQ(x)  xP(x)yQ(y)  量化表达式中的变元：绑定、自由、作用域、替换