作者kiruwolf (呜呜呜呜呜呜)
看板logic
标题Re: 如何翻译成量化逻辑
时间Thu Jun 16 13:16:24 2005
※ 引述《pkwbim (多采多姿)》之铭言：
: ※ 引述《kiruwolf (呜呜呜呜呜呜)》之铭言：
: : 1: Ex(Mx‧Vy(Oy->Lxy))
: 我觉得这formula没有错，
: 但是我如果只看formula的话，
: 我会解释成： 所有的兰花都有人爱
: 但是直觉上 "有些人爱兰花" 和 "所有的兰花都有人爱" 是不同的话个命题
: 是我的解释错误了吗？
所有的兰花都有人爱应该是
Vx(Ox->Ey(My‧Lyx)) ？
我也不知道 （逃）
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.112.241.139
※ 编辑: kiruwolf 来自: 140.112.241.139 (06/16 21:51)
1F：推 susugu:我的想法也是这样ㄟ 210.85.230.9 06/16