作者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/cn.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