作者clone198923 (mandrakelin)
看板logic
標題[討論] 自然演繹問題
時間Thu Jun 10 21:54:45 2010
1.(x)((Ey)Lxy→(y)Lyx)
2.Laa /Lca
3.EyLay→(y)Lya UI
4.EyLay AP
5.(y)Lya 3,4,MP
6.Lca 5,UI
7.Lca 4-6,CP
請問這證明哪裡出了問題>"<
謝謝
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.122.32.141
1F：→ clone198923:附註,E代表的是存在符號 06/10 21:57
※ 編輯: clone198923 來自: 140.122.32.141 (06/10 23:21)