Re: 請問一個邏輯問題~~

[kiruwolf (嗚嗚嗚嗚嗚嗚)]

※ 引述《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:謝謝你~