题目内容
(请给出正确答案)
[主观题]
改正下列证明中的错误: 前提: 结论:¬M(y)) 证明过程: (1) P (2) (1)US (3)¬ P(附加前提) (4)(¬P
改正下列证明中的错误:
前提:
结论:¬M(y))
证明过程:
(1)P
(2)(1)US
(3)¬P(附加前提)
(4)(¬P(z)) (3)T,E
(5)¬P(a) (4)US
(6)¬P(a)∨¬R(b,a) (5)T,I
(7)(¬P(z)∨¬R(b,z)) (6)UG
(8)¬(7)T,E
(9)¬(2)(8)T,I
(10)(¬S(b,y)∨¬M(y)) (9)T,E
(11)(S(b,y)→¬M(y)) (10)T,E
(12)(S(x,y)→¬M(y)) (11)UG
(13)¬¬M(y)) CP
如搜索结果不匹配,请 联系老师 获取答案