问题描述: 证明 前提: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)假言推理 展开全文阅读