作者Akerker (阿克克(*〞︶〝)/)
看板puzzle
标题[问题] 请下结论
时间Sat Jul 20 22:11:30 2013
不知道板上有没有出现过这题？
请综合以下十道叙述，推导出涵盖所有逻辑关系的精简结论。
┌───────────────────────────────┐
│ 1. 房屋中唯一的动物是猫。 │
│ 2. 喜欢凝视月亮的动物都可以当宠物。 │
│ 3. 当我讨厌某种动物时，我会回避牠。 │
│ 4. 没有任何动物是属於肉食性的，除非牠会在夜里出巡。 │
│ 5. 没有猫不能杀老鼠。 │
│ 6. 没有动物会对我说话，除非牠在房内。 │
│ 7. 袋鼠不适合当宠物。 │
│ 8. 只有肉食者才能杀老鼠。 │
│ 9. 我不讨厌对我说话的动物。 │
│ 10. 夜里出巡的动物通常喜欢凝视月亮。 │
└───────────────────────────────┘
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 1.172.251.66
推 walkwall:我会回避袋鼠? 07/20 23:12
答对了只好先关灯！！★,＊:*‧\(￣▽￣)/‧:*＊°★
1F：推 walkwall:\⊙▽⊙/ 07/20 23:21
2F：推 allen65535:有个问题，第3点可以等同於"当我不讨厌某种动物时，我 07/21 07:03
3F：→ allen65535:不会回避牠"吗？好像必须是，答案才推得出来，可是逻辑 07/21 07:04
4F：→ allen65535:上应该是不一定才对。 07/21 07:05
第三点「当我讨厌某种动物时，我会回避牠」等价於「我不回避我不讨厌的动物」，
再接上第九点成为「我不回避和我说话的动物」，
尔後依序接上第六、一、五、八、四、十、二、七点就可以得出结论了
5F：推 walkwall:其实对第九点我有些困惑 若从中文字意应该是"若是对我说 07/21 13:29
6F：→ walkwall:话的动物,则我不讨厌" 但是逻辑要接龙似乎该解读成 "所 07/21 13:32
7F：→ walkwall:有我不讨厌的动物, 都会对我说话" 07/21 13:34
设定t是
会和我说话的动物；d是
我讨厌的动物，
则第九点是～t→d（与～d→t等价），可能是翻译上的误差
8F：推 Favonia:应该不等价吧。例如我可以回避所有动物，不管我讨不讨厌。 07/23 05:28
不太懂你的意思
9F：推 Favonia:「回避讨厌的动物」不代表「不讨厌的都不回避」。有可能 07/24 10:26
10F：→ Favonia:我除了回避我讨厌的动物外还回避其他一些动物。 07/24 10:26
没错
11F：推 walkwall:逻辑命题除了一般的叙述外 往往需要考虑"集合叙述"的问题 07/24 11:37
12F：→ walkwall:所谓集合叙述就是 "for all" 或 "exist" 这些集合的逻辑 07/24 11:39
13F：→ walkwall:这十句语意上有些隐含了exist与for all 但是要串起时好 07/24 11:40
14F：→ walkwall:像是忽略了这点 07/24 11:40
喔！原来有这样的瑕疵存在
15F：推 Favonia:hmm... 那为什麽不能回避一个对我说话且我不讨厌的动物？ 07/24 20:23
16F：→ Favonia:我想我问的问题跟 walkwall 一样。仔细考虑集合叙述就发现 07/24 20:23
17F：→ Favonia:中间没办法接起来。 07/24 20:25
看来这题目不够严谨罗！
※ 编辑: Akerker 来自: 218.173.234.99 (07/24 20:55)