作者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
1F：推 susugu:谢谢你~ 140.112.7.59 06/16