西安电子科技大学$2.1.2量词软件学院(3x)P(x)存在量词日3x读作“存在x”、“对某些x”、“至少有一个x”等。X是存在量词的作用变元(3x)P(x)的真值为T当且仅当x的论域中至少有一个个体a，满足P(a)为 T.当谓词中的所有变元都被量词约束，也得到一个具有确定真假值的命题。西安电子科技大学 软件学院 存在量词∃ 当谓词中的所有变元都被量词约束，也 得到一个具有确定真假值的命题。 §2.1.2 量词