约束变元改名规则：将量词辖域中，
1
及其辖域中该变元的所有约束出现均改为本辖域中未曾出现过的个体变元，其余不变。
1、
【正确答案】
1、量词的指导变元
【答案解析】
提交答案
关闭