作者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