推 NaLiYung:我弄懂了感謝b9108018和A1Yoshi大大的教導 感恩~~~ 04/27 21:06
規則部分引用林正弘《邏輯》
"&"是連言符號
以歸謬證法解第一題如下：
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