推 ksmrt0123:推~~ 12/30 18:10
→ VanDeLord:創新因此而胎死腹中 01/21 11:13
※ 引述《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