作者thirdlittle (小三(不是三小啦))
看板logic
标题[请益]跪求有关述辞逻辑的题目解答
时间Sun Dec 30 20:47:33 2007
(2). 1. ～∀x ～(AxｖBx)
2. ∀y [～(y = a) → ～Ay]
3. ∀z ～[(z≠b)‧Bz] ／∴ a = b
(3). 1. Ma‧∀y (Ay → Bay) ／∴ y [My‧∀y (Ay → Byy)
拜托强者解答
帮助一个逻辑初入门的新手
想了很久真的不会...
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 218.169.70.138
※ 编辑: thirdlittle 来自: 218.169.70.138 (12/30 21:53)
1F：推 maylaw:你标的(2)这题是无效论证吧？除非存在量词所控制的变元 01/16 15:34
2F：→ maylaw:可代入已有的常元.....不过这种作法是不合理的 01/16 15:35
3F：推 maylaw:(3)也是无效论证，我们说一个论证有效就是说其前提蕴含结论 01/16 15:44
4F：→ maylaw:光是看就知道前提不蕴含结论啊！ 01/16 15:45
5F：→ maylaw:前提中的"Ma"，这个常元a不能被普遍化。 01/16 15:46
6F：→ maylaw:若M表"是学生"，a表"maylaw"，maylaw是学生不代表每个人都 01/16 15:47
7F：→ maylaw:是学生啊 01/16 15:47