作者pkwbim (多采多姿)
看板logic
标题Re: 如何翻译成量化逻辑
时间Thu Jun 16 13:05:27 2005
※ 引述《kiruwolf (呜呜呜呜呜呜)》之铭言：
: ※ 引述《susugu (living for today)》之铭言：
: : 请问一下 该如何将以下的句子翻译成量化逻辑
: : 1. 有些人爱兰花
: 1: Ex(Mx‧Vy(Oy->Lxy))
我觉得这formula没有错，
但是我如果只看formula的话，
我会解释成： 所有的兰花都有人爱
但是直觉上 "有些人爱兰花" 和 "所有的兰花都有人爱" 是不同的话个命题
是我的解释错误了吗？
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.123.105.162