Re: [討論] 只有英文及格的人可以吃巧克力
※ 引述《yauhh (喲)》之銘言：
: 在此,我累了,我隨便說: "那就假定P->Q可以描述自然句子的如果P可以Q好了," 我想
: 沒那麼混亂的錯誤. 我想要講的是 |= , 而為了講 |= 我必須挑 P, P->Q, 與Q三項.
: 其他的,P->Q是否符合那個句子,我省略. 畢竟我是人,口語有模糊性,不想談太多.
我的意思是，這裏用法有點混亂
因為你這裏用了 -> 來表示，
將 (如果A可以B) 寫成邏輯形式 P->Q
則 P代表(A)
Q代表(可以B)
而不是 Q代表B
而在你前面的推論裏，是將Q和B混在一起作推論，定義上就有問題了。
如果表達式改成「假定 PaQ 可以描述自然句子的如果P可以Q」
推論會比較精確點
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 59.121.4.71
※ 編輯: luciferii 來自: 59.121.4.71 (10/16 09:42)
討論串 (同標題文章)
本文引述了以下文章的的內容：
完整討論串 (本文為第 13 之 16 篇)：