作者b9108018 (论文发表後一点都不喜悦)
看板logic
标题Re: [请益] 请问2个论证的问题
时间Wed Apr 26 17:37:25 2006
规则部分引用林正弘《逻辑》
"&"是连言符号
以归谬证法解第一题如下：
1.~{[(P&Q&~R)->S]&(~S-> ~R)&(~S&P)-> ~Q} Assumption
2.~{~{ [(P&Q&~R)->S]&(~S-> ~R)&(~S&P)}v~Q} 1.C.D(条件句与选炎等值交换)
3.~~{ [(P&Q&~R)->S]&(~S-> ~R)&(~S&P)}&~~Q 2.DeM(迪摩根定律)
4. [(P&Q&~R)->S]&(~S-> ~R)&(~S&P)&Q 3.DN(双重否定律)
5.Q 4.Simp(简化律)
6.~S&P 4.Simp(简化律)
7.P 6.Simp(简化律)
8.~S 6.Simp(简化律)
9.~S→~R 4.Simp(简化律)
10.~R 9.8.MPP(肯定前件而肯定後件)
11.P&Q&~R→S 4.Simp(简化律)
12.P&Q&~R 7.5.10Adj(增加律)
13.S 11.12.MPP(肯定前件而肯定後件)
14.S&~S 13.8.Adj(增加律)
15. {[(P&Q&~R)->S]&(~S-> ~R)&(~S&P)-> ~Q} 1-14 IP(或叫RAA、归谬证法)
题目只是长，拆解之後不难，别被吓到了。
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 210.59.123.82
1F：推 NaLiYung:我弄懂了感谢b9108018和A1Yoshi大大的教导 感恩~~~ 04/27 21:06