Re: [討論] 自然演繹問題

看板logic作者 (冷杉林)時間15年前 (2010/06/10 23:18), 編輯推噓1(1推 0噓 0→)
留言1則, 1人參與, 最新討論串2/2 (看更多)
※ 引述《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
推
06/10 23:33, , 1F
謝謝! :)
06/10 23:33, 1F
‣ 更多 rexkimta 的文章
文章代碼(AID): #1C4G9Ejp (logic)
‣ 更多 rexkimta 的文章
文章代碼(AID): #1C4G9Ejp (logic)