→ yauhh:寫錯... 應該用"滿足" |= , 而不是"產生" |- 10/16 00:58
推 luciferii:呃，應該是「只有P可以Q 可能簡單表達為 Q->P」 10/16 02:30
→ yauhh:是說可能,省略這一段的評析而已 10/16 04:02
→ yauhh:我認為可以吃巧克力與吃巧克力的差別是,一個是命題,另一個是 10/16 04:04
→ yauhh:論述所滿足的情況 10/16 04:04
※ 引述《luciferii (路西瓜)》之銘言：
: 其實是不能定義成 Q' = {x|x吃巧克力} 的
: 我的原文還是在談 Q = {x|x可以吃巧克力}
: 認為可以定義成 Q' 的，是因為自己預設加上了
: 「吃巧克力需要被允許」這樣的前提
: 但是題目裏沒有包含這條，
: 所以單就邏輯而言，不能以「吃巧克力」當定義。
應該用 entailment 了.
"只有P可以Q" 可能簡單表達為 P->Q, "可以"是指在P條件滿足可以有Q.
於是究竟有沒有 Q 呢?
{P, P->Q} |- Q
否則
{~P, P->Q} |- ~Q
所謂吃巧克力動作的實現,是存在於論述結果中.
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 59.112.224.15