问题标题：
前提:w→(﹁(r∧s)→﹁q),w,s结论:﹁q证明:(1)w→(﹁(r∧s)→﹁qP(2)wP(3)﹁(r∧s)→﹁qT.I(1)(2)(4)﹁(﹁q)P(附加前提)(5)qT.E(4)(6)r∧sT.I(3)(5)(7)﹁sP(8)sT.I(6)(9)s∧﹁sT.I(7)(8)因此w→(﹁(r∧s)→
问题描述：
前提:w→(﹁(r∧s)→﹁q),w,s
结论:﹁q
证明:
(1)w→(﹁(r∧s)→﹁qP
(2)wP
(3)﹁(r∧s)→﹁qT.I(1)(2)
(4)﹁(﹁q)P(附加前提)
(5)qT.E(4)
(6)r∧sT.I(3)(5)
(7)﹁sP
(8)sT.I(6)
(9)s∧﹁sT.I(7)(8)
因此w→(﹁(r∧s)→﹁q),w,s结论:﹁q成立
这道题中的第4步是怎么做的,q不应该是0吗?还有最后一步,s∧﹁s不是永假吗,那为什么这道蕴含式还成立?
宋毅回答：
﹁(﹁q)q,怎么会是0呢?
因为引入了附加前提﹁(﹁q),s∧﹁s得到的是矛盾,这是反证法.
董少龙回答：
结论不是﹁q吗，﹁q为1的话，q就为0啊。
宋毅回答：
该证明用的是归谬法（俗称“反证法”）。就是要引入“结论的否定”﹁(﹁q)作为附加前提，最后得出矛盾，由此结论得到证明。请你仔细读读“推理理论”这一节。
查看更多
