Question

离散数学 构造以下推理的证明 前提：￢（p∧￢q），￢q∨r，￢r，结论：￢p

急急急，大神帮帮忙啊

Answer 1

你可能写错了，┐(q∨r) 应为 ┐(q∧r)，否则推不出结论。
前提：┐p∨q，┐(q∧r)，r
结论：┐p
推理如下：
1）r 前提引入
2）┐(q∧r) 前提引入
3）┐q∨┐r 2）等价置换
4）┐q 1）3）析取三段式
5）┐p∨q 前提引入
6）┐p 4）5）析取三段式
得证。