※ 引述《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