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