※ 引述《FATTY2108 (肥好想进台大呀)》之铭言： : ※ 引述《yonex (戴奥尼索斯)》之铭言： : : 四. 生：老师，为什麽「负负得正」？可以解释一下吗？ : : 师：因为呀... : : 好人好报是好事，好人坏报是坏事，坏人好报是坏事，坏人坏报是好事 : : 生：囧rz.... : 生：老师这样我还有问题耶？ : 　　　　　 如果好人是Ｐ，好报是Ｑ，好事为真。 : 　　　　　 如果坏人是～Ｐ，坏报是～Ｑ，坏事为真。 : 　　　　 　是否可以请教老师，如何推倒出： : 　　　 　　好人坏报是坏事，坏人好报是坏事，坏人坏报是好事？？ : 　　 　　　谢谢老师。 (以下纯为余兴情节，如有冒犯请见谅) 评：负负得正，在逻辑上被称为Double Negation (DN)， 　　是建立论证一个推论的步骤之一。 高中可以学到简单版的， 　　进阶版请洽大学哲学系， 　　有以教/研究逻辑维生的人在里面。 话说，本文在设定上有所缺陷，本题可能无解: 　　 　　设定了P和Q，却没有指出P和Q的真值 反而指定一个不相干的东西(好/坏事)为真， 这样不但无法论证，也无法用真值表列出所有可能。 　　原题有些神似三值逻辑。 　　有逻辑学家认为，有三值逻辑这东西， 三值逻辑是，承认三个变数都有真假值， 　　真，假，不真不假。 另一缺陷在於，如果有一命题 P => Q 此处倘若用P的否定: ~P => ~Q 来讨论 会犯一个否定前件的谬误。 　　一般逻辑上的规则是　P => Q :: ~Q => ~P　 这步骤被称为Contradiction 如果是拿Q的否定命题(~Q)来对 P => Q 做论证 就会得到~P ，这被称为Modus Ponons(MP) example:若天下雨，则地湿 (P:天雨 Q:地湿) 如果没有下雨(~P)，则地上也有可能是湿的呀，(可以洒水) 换句话说，任何一种情况都可能，也就无法得知事实上到底是怎样 所以~P无法任意导到Q或~Q 但是根据原命题，如果地上没有湿，就表示没有下过雨! ( ~Q => ~P ) 这是非常自然的推论:) --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 218.170.63.171 ※ 编辑: lemondrink 来自: 218.170.63.178 (08/03 04:03)