作者pkwbim (多采多姿)
看板logic
标题Re: 如何翻译成量化逻辑
时间Thu Jun 16 13:45:03 2005
※ 引述《kiruwolf (呜呜呜呜呜呜)》之铭言：
: ※ 引述《pkwbim (多采多姿)》之铭言：
: : 我觉得这formula没有错，
: : 但是我如果只看formula的话，
: : 我会解释成： 所有的兰花都有人爱
: : 但是直觉上 "有些人爱兰花" 和 "所有的兰花都有人爱" 是不同的话个命题
: : 是我的解释错误了吗？
: 所有的兰花都有人爱应该是
: Vx(Ox->Ey(Mx‧Lyx)) ？
这里要订正一下，这句也许应该写成Vx(Ox->Ey(My‧Lyx))才是吧....
: 我也不知道 （逃）
刚刚我分析了一下，也找了一下这两句的model
才发现了这两句的差别（也发现我耍笨的地方）
"有些人爱兰花"会写成
Ex(Mx‧Vy(Oy->Lxy))
是因为它的意思是：
存在一个以上的人，那个人爱所有的兰花
但是"所有的兰花都有人爱"，
讲仔细点是：
只要是兰花，就会有人喜欢，
但并没有强调喜欢某朵兰花的人需要喜欢所有的兰花
因此，这句话才会写成
Vx(Ox->Ey(Mx‧Lxy))
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.123.105.162
1F：推 kiruwolf:对喔 我不小心打错了orz 140.112.7.59 06/16
※ 编辑: pkwbim 来自: 140.123.105.162 (06/17 00:19)