作者luciferii (路西瓜)
看板logic
标题Re: [讨论] 只有英文及格的人可以吃巧克力
时间Wed Oct 15 23:44:14 2008
※ 引述《yauhh (哟)》之铭言：
: ※ 引述《ksmrt0123 (ksmrt)》之铭言：
: : 我的定义 Q = {x|x可以吃巧克力}
: : luciferii 的定义, Q' = {x|x吃巧克力}
: 渐渐有些混淆呢...
: 通常说 "如果怎麽样就可以吃巧克力", 或者删两个字变成 "如果怎麽样就吃巧克力",
: 描述与期望的事情是一样的.
: 若将 "吃巧克力" 解释成这件事情的发生,
: 叙述就变成 "如果怎麽样就(有)吃巧克力(这件客观事实存在)",
: 自然语言有这种语意吗?
其实是不能定义成 Q' = {x|x吃巧克力} 的
我的原文还是在谈 Q = {x|x可以吃巧克力}
认为可以定义成 Q' 的，是因为自己预设加上了
「吃巧克力需要被允许」这样的前提
但是题目里没有包含这条，
所以单就逻辑而言，不能以「吃巧克力」当定义。
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 59.121.4.52
※ 编辑: luciferii 来自: 59.121.4.52 (10/15 23:48)