题目内容
(请给出正确答案)
[主观题]
改正下题证明中的错误: 前提 (x)((y)(S(x,y)∧M(y)))→(z)(P(z)∧R(x,z)), 结论 ¬(z)P(z)→(x)(y)(S(x,y)→¬M(
改正下题证明中的错误:
前提 (x)((y)(S(x,y)∧M(y)))→(z)(P(z)∧R(x,z)),
结论 ¬(z)P(z)→(x)(y)(S(x,y)→¬M(y)).
查看答案
如果结果不匹配,请 联系老师 获取答案