嵌套量词 口xvyP(x,y)≡ yxP(x,y) 举例:P(xy)表示x+y=y+x。论域为实数集 口xyP(xy)≡彐yxP(x,y) 举例:P(xy)表示r+1 口x3yP(xy)与彐yvxP(xy)不一定等价 举例:P(xy)表示“少x”。嵌套量词  xyP(x,y)  yxP(x,y) 举例：P(x,y) 表示 x+y=y+x。论域为实数集  xyP(x,y)  yxP(x,y) 举例： P(x,y) 表示x=y+1。  xyP(x,y) 与 yxP(x,y) 不一定等价 举例：P(x,y) 表示“y>x”