【判断题】
对公式(z)(P(z)∧Q(x,z)∧M(z,y))∨R(z)中约束变量z改名后,得到的等价公式为:(t)(P(t)∧Q(x,t)∧M(t,y))∨R(t)
A. 对
B. 错
查看试卷,进入试卷练习
微信扫一扫,开始刷题

答案
B
解析
暂无解析
相关试题
推荐试题
【单选题】
含有腐蚀性化学成分的蓄电池电解液,用于齿轮,压缩机等的油以及润滑剂,胶和密封剂,都可能具有腐蚀性或引起皮肤或肺部刺激。进行相关检修工作时,注意环境通风良好,并保护好皮肤和眼睛。 ___
A. 正确
B. 错误