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

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析取三段论