作者luciferii (路西瓜)
看板logic
标题Re: [请益] 矛盾
时间Wed Dec 30 03:11:01 2009
※ 引述《TubularBells ( )》之铭言：
: 1. P -> Q
: 2. P -> not Q
: 一个论证推论出这两个，算矛盾吗？
应该这麽说，你要问的是谁跟谁算矛盾？
(P -> Q) 和 (P -> ~Q) 两者互相是不矛盾的
一般来说在实务运用上的意义应该是这样
前提P
我们验证发现
(P->Q) 且 (P -> ~Q)
这是什麽意思？
意思就是
如果你很肯定 P 是事实，那麽就是 (P->Q) 且 (P -> ~Q) 这里的推论有误
如果你很肯定 (P->Q) 且 (P -> ~Q) 的推论无误，那就是大前提 P 必定是错的
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 59.121.0.91
1F：推 ksmrt0123:推~~ 12/30 18:10
2F：→ VanDeLord:创新因此而胎死腹中 01/21 11:13