※ 引述《ksmrt0123 (ksmrt)》之铭言： : 如何用逻辑式表示「只有英文及格的人可以吃巧克力」 : 之前有被讨论过, 但似乎没有共识. 今晚闲闲想了一下, 呃，讲实话，这不是没有共识， 而是这完全是最基本的逻辑表示法， 没有什麽可以争议或模糊语义的 写成英文你就了解了 only if P then Q 亦即等价於 Q->P 「只有」其实就是被翻译的很坳口的「唯若」 : 所以 S === (P->Q)&(~P->~Q) : 故, 原句可等同於下列文字叙述: : 「英文及格的人可以吃巧克力」并且「英文不及格的人不能吃巧克力」 : P->Q & ~P->~Q : 我们可再generalize上述结论, 用相同的方法应可证明 : 「只有P可以Q」 === (P->Q)&(~P->~Q) 所以这里错了，原句并不保证 (P->Q) 。 "英文及格 可以吃巧克力" 无法由原句推得，而 "英文及格 不可以吃巧克力" 并没有与原句抵触。 Ref: http://zh.wikipedia.org/wiki/若且唯若 --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 59.121.6.29 ※ 编辑: luciferii 来自: 59.121.6.29 (10/15 04:02)