证明 前提:p→(┐(r∧s)→┐q),p,┐s 结论:┐q

问题描述:

证明 前提:p→(┐(r∧s)→┐q),p,┐s 结论:┐q
1个回答 分类:英语 2014-10-02

问题解答:

我来补答
1) p→(┐(r∧s)→┐q) 前提引入
2) p 前提引入
3) ┐(r∧s)→┐q 1)2)假言推理
4) ┐s 前提引入
5) ┐s∨┐r 4)附加律
6) ┐(r∧s) 5)置换
7) ┐q 3) 6)假言推理
 
 
展开全文阅读
剩余:2000