作者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)
推 maylaw:你標的(2)這題是無效論證吧？除非存在量詞所控制的變元 01/16 15:34
→ maylaw:可代入已有的常元.....不過這種作法是不合理的 01/16 15:35
推 maylaw:(3)也是無效論證，我們說一個論證有效就是說其前提蘊含結論 01/16 15:44
→ maylaw:光是看就知道前提不蘊含結論啊！ 01/16 15:45
→ maylaw:前提中的"Ma"，這個常元a不能被普遍化。 01/16 15:46
→ maylaw:若M表"是學生"，a表"maylaw"，maylaw是學生不代表每個人都 01/16 15:47
→ maylaw:是學生啊 01/16 15:47