Question

离散数学求解答

找出推理错误的地方：
（1）∃x(P(x)∧Q(x)) P
（2）P(c)∧Q(c) ES(1)
（3）P(c) T(2) I
（4）∃y(R(y)∧S(y)) P
（5）R(c)∧S(c) ES(4)
（6）R(c) T(5)I
（7）P(c)∧R(c) T(3)(6)I
（8）∃x(P(x)∧R(x)) EG(7)

Answer 1

问题出现在（5）R(c)∧S(c) 
由于上面已经有（2）P(c)∧Q(c) 
于是第5步的c不对，应该是c2
这里的c和c2不一定相等
而且绝大多数情况下，应该是不等的