西安电子科技大学S2.2.2量词的辖域软件学院家家全称量词或存在量词后所跟的变元称为该量词的作用变元作用变元。在量词Vx或Ix的辖域内变元x的一切出现为约约束变元束出现，称这样的变元x为约束变元。自由变元非约束出现的变元称为自由变元。紧跟在量词之后出现的最小子公式称为该量词的量词的辖域辖域。西安电子科技大学 软件学院 作用变元 量词的辖域 量词的辖域 约束变元 自由变元 §2.2.2