作者luciferii (路西瓜)
看板logic
标题Re: [讨论] 只有英文及格的人可以吃巧克力
时间Thu Oct 16 08:39:36 2008
※ 引述《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)