推 pkwbim:什麼是量化邏輯呀？是指predicate logic 嗎？140.123.105.162 06/16
> -------------------------------------------------------------------------- <
作者: kiruwolf (嗚嗚嗚嗚嗚嗚) 看板: logic
標題: Re: 請問一個邏輯問題~~
時間: Thu Jun 16 11:36:53 2005
※ 引述《susugu (living for today)》之銘言：
: 請問一下 該如何將以下的句子翻譯成量化邏輯
: 1. 有些人愛蘭花
: 2. 有些人只愛蘭花
: 3. 有些人愛並且只愛蘭花
: 這是我今年修邏輯課程的習題 麻煩請知道的人回答一下
: 謝謝你~~
我的想法給你參考
O:1是蘭花
M:1是人
L:1愛2
1: Ex(Mx‧Vy(Oy->Lxy))
2: Ex(Mx‧Vy(Lxy->Oy))
3: Ex(Mx‧Vy(Oy<->Lxy))
有沒有人可以幫我訂正^^"
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.241.139
推 susugu:謝謝你~ 140.112.7.59 06/16
> -------------------------------------------------------------------------- <
作者: 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
> -------------------------------------------------------------------------- <
作者: kiruwolf (嗚嗚嗚嗚嗚嗚) 看板: logic
標題: Re: 如何翻譯成量化邏輯
時間: Thu Jun 16 13:16:24 2005
※ 引述《pkwbim (多采多姿)》之銘言：
: ※ 引述《kiruwolf (嗚嗚嗚嗚嗚嗚)》之銘言：
: : 1: Ex(Mx‧Vy(Oy->Lxy))
: 我覺得這formula沒有錯，
: 但是我如果只看formula的話，
: 我會解釋成： 所有的蘭花都有人愛
: 但是直覺上 "有些人愛蘭花" 和 "所有的蘭花都有人愛" 是不同的話個命題
: 是我的解釋錯誤了嗎？
所有的蘭花都有人愛應該是
Vx(Ox->Ey(Mx‧Lyx)) ？
我也不知道 （逃）
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.241.139
> -------------------------------------------------------------------------- <
作者: 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‧Lyx))
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.123.105.162