1、写出下面推理的证明过程.若今天是星期一,则要进行英语或离散数学考试,若英语老师有会则不考试英语.今天是几星一,英语老师开会,所以进行离散数学考试.2、构造推理a、前提:p---->(『(r
来源:学生作业帮助网 编辑:作业帮 时间:2024/07/04 22:49:33
![1、写出下面推理的证明过程.若今天是星期一,则要进行英语或离散数学考试,若英语老师有会则不考试英语.今天是几星一,英语老师开会,所以进行离散数学考试.2、构造推理a、前提:p---->(『(r](/uploads/image/z/7068133-37-3.jpg?t=1%E3%80%81%E5%86%99%E5%87%BA%E4%B8%8B%E9%9D%A2%E6%8E%A8%E7%90%86%E7%9A%84%E8%AF%81%E6%98%8E%E8%BF%87%E7%A8%8B.%E8%8B%A5%E4%BB%8A%E5%A4%A9%E6%98%AF%E6%98%9F%E6%9C%9F%E4%B8%80%2C%E5%88%99%E8%A6%81%E8%BF%9B%E8%A1%8C%E8%8B%B1%E8%AF%AD%E6%88%96%E7%A6%BB%E6%95%A3%E6%95%B0%E5%AD%A6%E8%80%83%E8%AF%95%2C%E8%8B%A5%E8%8B%B1%E8%AF%AD%E8%80%81%E5%B8%88%E6%9C%89%E4%BC%9A%E5%88%99%E4%B8%8D%E8%80%83%E8%AF%95%E8%8B%B1%E8%AF%AD.%E4%BB%8A%E5%A4%A9%E6%98%AF%E5%87%A0%E6%98%9F%E4%B8%80%2C%E8%8B%B1%E8%AF%AD%E8%80%81%E5%B8%88%E5%BC%80%E4%BC%9A%2C%E6%89%80%E4%BB%A5%E8%BF%9B%E8%A1%8C%E7%A6%BB%E6%95%A3%E6%95%B0%E5%AD%A6%E8%80%83%E8%AF%95.2%E3%80%81%E6%9E%84%E9%80%A0%E6%8E%A8%E7%90%86a%E3%80%81%E5%89%8D%E6%8F%90%EF%BC%9Ap----%3E%28%E3%80%8E%28r)
1、写出下面推理的证明过程.若今天是星期一,则要进行英语或离散数学考试,若英语老师有会则不考试英语.今天是几星一,英语老师开会,所以进行离散数学考试.2、构造推理a、前提:p---->(『(r
1、写出下面推理的证明过程.
若今天是星期一,则要进行英语或离散数学考试,若英语老师有会则不考试英语.
今天是几星一,英语老师开会,所以进行离散数学考试.
2、构造推理
a、前提:p---->(『(r/\s)---->『p),p,『s
结论:『p
b、前提:p\/q;p---->『r;s--->t;『s---->r;『t
结论:q
1、写出下面推理的证明过程.若今天是星期一,则要进行英语或离散数学考试,若英语老师有会则不考试英语.今天是几星一,英语老师开会,所以进行离散数学考试.2、构造推理a、前提:p---->(『(r
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析取三段论