作者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