作者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