离散数学第二章谓词逻辑-4-6节

- - 2-4 变元的约束 - 一、指导变元、辖域、约束出现、自由出现辖域：紧接在量词后面的谓词公式，即量词的作用范 围称之为