※ 引述《LucLee (居酒屋裡的小神龕)》之銘言：
: ※ 引述《Hain (第十三個該隱)》之銘言：
: : 你們知不知道
: : Modus ponens 跟 Modus tollens
: : 怎麼解釋?
: 我沒修過邏輯
: 所以不知你問的問題到何種層次
: 若簡單說
: 前者就是代表「若a為真，a->b成立，則b亦為真」
: 後者相反：「若非b為真，a->b成立，則非a亦為真」
: 我網路查的
: 詳細還是要問Arche
我看到了。
前者稱作 "肯定前件則肯定後件"，
就是說在a->b(若a則b)成立的狀況之下，若a為真，則b亦會為真，
更簡單的說，
若"a發生了(或說"是真的")的情形下一定會發生b(或說"也一定會是真的")
如果今天a發生了，b一定也會發生。
後者稱為 "否定後件則否定前件"
就是說在a->b成立的狀況之下，若b為假，則a必定亦為假
更簡單的說，
在前一題的相同條件下，若b沒有發生，那麼a必定也沒有發生。
很繞舌，然後懂了又會覺得好像把大家當傻瓜:"這麼簡單的東西誰不懂?"
問題就在於，我們以為越簡單的邏輯命題與推論，
往往是最難以理解的。
需要舉實際的例子嗎?
如果我有交作業(a)，那麼我一定會pass(b)，
a->b的前提成立的原因是教授信誓旦旦的保證。
今天我的確交了報告(a成立，a為真)，那麼我的確一定會pass(b亦成立，b亦為真)。
然而，如果我今天被當了(b不成立,b為假)，那麼我起碼一定沒有交作業(a不成立,a為假)
很簡單，但是接下來的變化就精采了，但是這已經離題了，就略過吧。
--
※ 發信站: 批踢踢實業坊(ptt.csie.ntu.edu.tw)
◆ From: 140.112.8.57