看板 [ logic ]
討論串[請益] prover9
共 2 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
下一頁
尾頁
#2
Re: [請益] prover9
推噓1(1推 0噓 2→)留言3則，0人參與, 最新作者yauhh (喲)時間16年前 (2010/01/28 20:01), 編輯資訊
0
0
1
內容預覽:
在視窗環境把 Output 打開來看,裡面把故事說得蠻清楚的.. 在這個例子先把 -G(x), G(c1), G(c2) 化掉,但還剩一個 x != y 要找答案,. 結果它真的找不到答案,所以回報 Exhausted.. 我把你要問的換個寫法:. Assumption:. exists x exi
(還有259個字)
#1
[請益] prover9
推噓0(0推 0噓 1→)留言1則，0人參與, 最新作者keroro97 (keroro)時間16年前 (2010/01/28 10:53), 編輯資訊
0
0
0
內容預覽:
Assumption：. exists x ( exists y ( x!=y & (G(x) & G(y)) )).. Goals:. exists x G(x).. 卻跑出 Prover9 Exit:Exhausted.. Some, but not all, of the requested
(還有485個字)
首頁
上一頁
1
下一頁
尾頁