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