[請益] 一題述詞邏輯不會解

看板logic作者 (看鴿子走路)時間10年前 (2014/05/24 23:10), 編輯推噓1(1推 0噓 16→)
留言17則, 4人參與, 最新討論串1/1
我先承認這是作業，實在想不出來所以求助各位大大了> < 因為"存在"打不出來，所以用"E"代替 請證明下列論證的有效性，若是無效，請用解釋法或是展開法說明其無效姓 Ex (Fx→Fa) /∴ Ex Fx→Fa 請各位神人幫我解惑，謝謝! -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 140.112.243.14 ※ 文章網址: http://www.ptt.cc/bbs/logic/M.1400944233.A.653.html
推
05/25 18:30, , 1F
無效
05/25 18:30, 1F
→
05/25 18:31, , 2F
因為有x使Fx→Fa，可以知道Fb→Fa，b是由存在可得到的，
05/25 18:31, 2F
→
05/25 18:32, , 3F
我忽然發現我想得後面有點問題, 但我還是認為他是無效的
05/25 18:32, 3F
→
05/25 21:05, , 4F
有可能Fa是錯的，而讓Fx對或錯的x都存在
05/25 21:05, 4F
→
05/26 00:16, , 5F
有效。先假設前提存在量詞用b代入，再「EG」Fb得結論式
05/26 00:16, 5F
→
05/26 00:17, , 6F
，再「EI」的一樣的結論式，得證。
05/26 00:17, 6F
→
05/26 00:18, , 7F
得
05/26 00:18, 7F
→
05/26 01:19, , 8F
不知道結論該看成 Ex(Fx→Fa) 還是 (Ex Fx)→Fa?
05/26 01:19, 8F
→
05/26 01:21, , 9F
如果是前者好像根本不用證，後者我覺得是錯的..
05/26 01:21, 9F
→
05/26 01:48, , 10F
結論是 (Ex Fx)→Fa
05/26 01:48, 10F
→
05/26 11:12, , 11F
那就舉一個例子使前提對但結論錯好了
05/26 11:12, 11F
→
05/26 11:14, , 12F
假設F0為True，F1為False，且a=1
05/26 11:14, 12F
→
05/26 11:14, , 13F
則前提是對的，因為x代0就可使Fx→Fa為True
05/26 11:14, 13F
→
05/26 11:15, , 14F
阿說錯，是x代1
05/26 11:15, 14F
→
05/26 11:16, , 15F
再來看結論(Ex Fx)→Fa
05/26 11:16, 15F
→
05/26 11:17, , 16F
(Ex Fx)是True，因為x代0就可使Fx為True
05/26 11:17, 16F
→
05/26 11:17, , 17F
但Fa是False，因此結論是錯的
05/26 11:17, 17F
‣ 更多 Standpoint 的文章
文章代碼(AID): #1JWBPfPJ (logic)