西安电子科技大学$2.1.2量词软件学院家家茶量化断言与命题有以下关系：如果谓词P(x)中变元x的论域是有限集(a1,a2.a)，则有：(x)P(x)P(a1)AF(a2)A...AP(an)(3x)P(x) P(ai) VP(a2) Y ...VP(a)西安电子科技大学 软件学院 量化断言与命题有以下关系： §2.1.2 量词