作者lofi23 (原來這麼依賴螢光筆)
看板logic
標題[請益] 語句含蘊規則 SI
時間Sun Feb 11 16:22:53 2007
自修到語句含蘊部分時，(林正弘<邏輯> P292.P293)
在兩處看到類似的SI使用方法，但我卻怎麼也想不出來
這是怎麼推論出來的。其過程如下：
(4)－(Y'a且－C'a)
(5) C'a －> A'a
(6)－(Y'a且－A'a) 4.5, SI
另一論證如下：(M2為二元述詞)
(4)－(I'b 且 M2ab )
(5) E'b －> I'b
(6)－(E'b 且 M2ab ) 4.5, SI
該不會就是由(5)的C'a -> A'a，就可直接將(4)的 －C'a利用C.P.
推出－A'a嗎？而另一論證也是同法嗎？
我只知道C.P.原則可用於前提，並不知道可以在論證中忽然使用C.P.。
難道這就是SI的神奇好用之處嗎？
這是我目前所能想出來最合理的解釋了。如果不是，那請問是如何
推出來的呢？
由於作者在介紹SI的時候，沒有太多文字規則說明SI的用法與限制，
我覺得以上的推論我似乎是一知半解，很擔心自己會誤用。
盼版上經驗豐富的高手能為我解答，謝謝。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 218.167.37.31
1F：推 somedoubt:~(a*~b)等價於(a→b)。 02/11 16:53
2F：推 lofi23:哀呀，原來是這樣...謝謝。(可是還是好複雜 囧) 02/11 17:02
3F：→ lofi23:我怎麼有辦法一步推出需要的語句咩... 02/11 17:03
4F：推 aletheia:練習是不二法門 03/09 22:58