作业帮 > 数学 > 作业

1、写出下面推理的证明过程.

来源:学生作业帮 编辑:拍题作业网作业帮 分类:数学作业 时间:2024/04/29 08:25:10
1、写出下面推理的证明过程.
若今天是星期一,则要进行英语或离散数学考试,若英语老师有会则不考试英语.
今天是几星一,英语老师开会,所以进行离散数学考试.
2、构造推理
a、前提:p---->(『(r/\s)---->『p),p,『s
结论:『p
b、前提:p\/q;p---->『r;s--->t;『s---->r;『t
结论:q
1.p:今天是星期一;q:进行英语考试;r:进行离散数学考试;t:英语老师开会
前提:p--->(qVr);t--->『q;p/\t
结论:r
证明:1.p/\t 前提引入
2.p 1化简规则
3.t 1化简规则
4.p--->(qVr) 前提引入
5.qVr 24假言推理
6.t--->『q 前提引入
7.『q 36假言推理
8.r 57析取三段论
2.a.有问题吧,前提已经给出p了,怎么结论又是『p
b.1.s--->t 前提引入
2.『t 前提引入
3.『s 12拒取式
4.『s-->r 前提引入
5.r 34假言推理
6.p--->『r 前提引入
7.『p 56拒取式
8.p\/q 前提引入
9.q 78析取三段论