离散数学 量词辖域收缩