问答题

9、将量词辖域中出现的        和指导变元交换为另一变元符号,公式其余的部分不变,这种方法称为换名规则。

答案: (1)
约束变元
微信扫码免费搜题