单项选择题

约束变元是指在辖域内与量词同名的变元
A、正确
B、错误

微信扫码免费搜题