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