※ 引述《pkwbim (多采多姿)》之铭言： : ※ 引述《fstf (fstf)》之铭言： : 谈vacuous implication， : 就让我想到一部着名网路小说的开场白： : ※第一次的亲密接触※ : written by jht. : 仔细看看痞子蔡plan的两句话： : 「如果我有一千万，我就能买一楝房子。」 : 「如果我有翅膀，我就能飞。」 : 把这句子翻译成像火星文一般的逻辑句子（这里采用propositional logic）， : 便成为 : "我有一千万" → "我能买一栋房子" : "我有翅膀" → "我能飞" : 在痞子蔡的世界里，他已经解释了他的世界中的几个命题。 : 「我有一千万吗？没有。」 : 「我有翅膀吗？没有。」 : 我们把它写得比较formal点就成了 : "我有一千万" is false : "我有翅膀 is false : 好了，到此为止，我们想要讨论的vacuous implication终於要出现了。 : 这两个有implication： : "我有一千万" → "我能买一栋房子" : "我有翅膀" → "我能飞" : 都诚如痞子蔡所说的：「假设状况并不成立」， : 在条件句中，如果前提不成立， : 那麽这个句子就不管事， : 无论conclusion是true 或 false， : 都不会再做任何的处理， : 因此条件句自动是true : 所以以下两句也会是true : ("我有一千万" → "我能买一栋房子") is true : ("我有翅膀" → "我能飞") is true 关於痞子蔡当年写的这一段， 我觉得他要强调的是後两句：『我有一千万吗？ 没有，所以我没有房子。』 这段的逻辑。 但是用最简单的若p则q (p--> q)来看并不正确， 因为~p--> ~q 的逻辑是错误的， 除非p的子集全在q子集里。 我没有一千万不一定不会没有房子， 因为爸妈可能送我一栋.. :P --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 140.113.173.158