§2命题函数与量词 例:将“对于所有的x和任何的y,如果ⅹ高于y,那么y不高 于x”写成命题表达形式 解:VXy(G(Xy)->G(y,×) G(Xy):X高于y (2)存在量词 “彐”为存在量词符号,读作“存在一个”,“对于 些”,“对于某些”,“至少存在一个”,“这里存在着 这样的”等等 “”表达式的读法: 彐xA(x):存在一个X,使x是 彐xA(x):存在一个X,使x不是…; XA(X):不存在一个x,使x是. 弓XA(x):不存在一个x,使x不是..§2 命题函数与量词 例：将“对于所有的x和任何的y，如果x高于y，那么y不高 于x”写成命题表达形式。 解： x y(G(x,y)→ ¬ G(y,x)) G(x,y)：x高于y （2）存在量词 “”为存在量词符号，读作“存在一个”，“对于一 些”，“对于某些”，“至少存在一个”，“这里存在着 这样的”等等。 “”表达式的读法： ·  x A(x) ：存在一个x,使x是…； ·  x¬A(x) ：存在一个x, 使x不是…； · ¬ x A(x) ：不存在一个x, 使x是…； · ¬ x¬A(x) ：不存在一个x, 使x不是…