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

[Standpoint (看鴿子走路)]

我先承認這是作業，實在想不出來所以求助各位大大了> <

因為"存在"打不出來，所以用"E"代替

請證明下列論證的有效性，若是無效，請用解釋法或是展開法說明其無效姓

Ex (Fx→Fa)

/∴ Ex Fx→Fa

請各位神人幫我解惑，謝謝!

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 140.112.243.14
※ 文章網址: http://www.ptt.cc/bbs/logic/M.1400944233.A.653.html
推 t0444564:無效
→ t0444564:因為有x使Fx→Fa，可以知道Fb→Fa，b是由存在可得到的，
→ t0444564:我忽然發現我想得後面有點問題, 但我還是認為他是無效的
→ freef1y3:有可能Fa是錯的，而讓Fx對或錯的x都存在
→ susophist:有效。先假設前提存在量詞用b代入，再「EG」Fb得結論式
→ susophist:，再「EI」的一樣的結論式，得證。
→ susophist:          得
→ freef1y3:不知道結論該看成 Ex(Fx→Fa) 還是 (Ex Fx)→Fa?
→ freef1y3:如果是前者好像根本不用證，後者我覺得是錯的..
→ Standpoint:結論是 (Ex Fx)→Fa
→ freef1y3:那就舉一個例子使前提對但結論錯好了
→ freef1y3:假設F0為True，F1為False，且a=1
→ freef1y3:則前提是對的，因為x代0就可使Fx→Fa為True
→ freef1y3:阿說錯，是x代1
→ freef1y3:再來看結論(Ex Fx)→Fa
→ freef1y3:(Ex Fx)是True，因為x代0就可使Fx為True
→ freef1y3:但Fa是False，因此結論是錯的