看板 [ logic ]
討論串[討論] 自然演繹問題
共 2 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
下一頁
尾頁
#2
Re: [討論] 自然演繹問題
推噓1(1推 0噓 0→)留言1則，0人參與, 最新作者rexkimta (冷杉林)時間15年前 (2010/06/10 23:18), 編輯資訊
0
0
0
內容預覽:
這句是因為你假設了第4句，. 它只在第4句對的情況下才對。. 問題就在第4句只是假設，. 並不是從任何前提導出的。這個cp也不對，. 如果你假設了4，而導出6，那應該是. 7.EyLay->Lca 4-6,CP. --. ※ 發信站: 批踢踢實業坊(ptt.cc). ◆ From: 140.114.
#1
[討論] 自然演繹問題
推噓0(0推 0噓 1→)留言1則，0人參與, 最新作者clone198923 (mandrakelin)時間15年前 (2010/06/10 21:54), 編輯資訊
0
0
0
內容預覽:
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
首頁
上一頁
1
下一頁
尾頁