作者yauhh (哟)
看板logic
标题Re: [讨论] 只有英文及格的人可以吃巧克力
时间Thu Oct 16 00:57:26 2008
※ 引述《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
1F：→ yauhh:写错... 应该用"满足" |= , 而不是"产生" |- 10/16 00:58
2F：推 luciferii:呃，应该是「只有P可以Q 可能简单表达为 Q->P」 10/16 02:30
3F：→ yauhh:是说可能,省略这一段的评析而已 10/16 04:02
4F：→ yauhh:我认为可以吃巧克力与吃巧克力的差别是,一个是命题,另一个是 10/16 04:04
5F：→ yauhh:论述所满足的情况 10/16 04:04