作者rexkimta (冷杉林)
看板logic
标题Re: [讨论] 自然演绎问题
时间Thu Jun 10 23:18:35 2010
※ 引述《clone198923 (mandrakelin)》之铭言：
: 1.(x)(EyLxy→(y)Lyx)
: 2.Laa /Lca
: 3.EyLay→(y)Lya UI
: 4.EyLay AP
: 5.(y)Lya 3,4,MP
这句是因为你假设了第4句，
它只在第4句对的情况下才对。
问题就在第4句只是假设，
并不是从任何前提导出的。
: 6.Lca 5,UI
: 7.Lca 4-6,CP
这个cp也不对，
如果你假设了4，而导出6，那应该是
7.EyLay->Lca 4-6,CP
: 请问这证明哪里出了问题>"<
: 谢谢
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.114.217.84
1F：推 clone198923:谢谢! :) 06/10 23:33