对变量作必要的换名，使每一量词只约束一个唯一的变量名。由于变

时间:2021-04-19 09:54来源:未知作者:admin 点击: 次

8.对变量作必要的换名，使每一量词只约束一个唯一的变量名。由于变量名可任意设定，因而该过程不影响合式公式的真值。 A. 错误 B. 正确

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

A. 错误

B. 正确

(责任编辑：admin)要这答案加QQ：800020900 或加微信：vq800020900 获取

顶一下

(0)

踩一下

(0)

------分隔线----------------------------

猜您喜欢

栏目列表

推荐内容

热点内容

提示信息×