西安电子科技大学$2.1.2量词软件学院家(7xP(x)全称量词√x读作“任取x"、“对所有的x”、“对任一x”等。X是全称量词的作用变元(Vx)P(x)的真值为T当且仅当对于×的论域中的任意个体a，都有P(a)为 T.西安电子科技大学 软件学院 全称量词∀ §2.1.2 量词