判断题

对变量作必要的换名,使每一量词只约束一个唯一的变量名。由于变量名可任意设定,因而该过程不影响合式公式的真值。()

【参考答案】

正确