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