量化表达式的否定式 口VxF(x)≡彐x=F(x 口对所有的x,x的平方是正数 口否定:存在某个实数x,其平方不是正数。 口3xFx=VxP(x 口存在x满足5x=x 口否定:对任意的x,5x≠x 练习:表达语句xyxy=1)的否定 xP(x)  xP(x)  对所有的x, x的平方是正数  否定：存在某个实数x, 其平方不是正数。  xP(x)  xP(x)  存在x, 满足 5x=x.  否定：对任意的x, 5xx. 量化表达式的否定式 练习：表达语句xy(xy=1)的否定