量词( Quantifier) 口若P(x)是谓词,∨xP(x)表示“对所有的x,P(x)y 称为全称量词 口若P(x)是谓词,彐xP(x)表示“存在某个x,P(x)彐 称为存在量词 口例:P(x)表示x>2,VxP(x)为假,彐xP(x)为真 口注1:量词必须指定论域(默认为实数域) 口注2:当论域元素可以一一列出时,量词(谓词公式) 可以转化成命题公式的合取、析取范式 口注3:量词的优先级高于其它逻辑运算符量词（Quantifier）  若P(x) 是谓词, xP(x)表示 “对所有的x, P(x)”  称为 全称量词  若P(x) 是谓词, xP(x)表示 “存在某个x, P(x)”  称为 存在量词  例：P(x)表示x>2 ，xP(x)为假， xP(x)为真  注1：量词必须指定论域（默认为实数域）  注2：当论域元素可以一一列出时，量词（谓词公式） 可以转化成命题公式的合取、析取范式  注3：量词的优先级高于其它逻辑运算符