看板 [ logic ]
討論串[請益] 又是命題邏輯
共 2 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
下一頁
尾頁
#2
Re: [請益] 又是命題邏輯
推噓1(1推 0噓 2→)留言3則，0人參與, 最新作者wilo (我太閒了 -_-)時間18年前 (2007/11/22 18:17), 編輯資訊
0
0
0
內容預覽:
這題用Idem來證明. 1. A v A v A P. 2. A 1,Idem. 3. ~B v A 2,Add. 4. B→A 3,Impl. 第一題，我實在是覺得這邊的題目該要有的括號都沒有(?). 所以你在證明的時候會很怪.... anyway，我想直接就可以用Idem直接這樣做了. 不過可能
(還有503個字)
#1
[請益] 又是命題邏輯
推噓2(2推 0噓 5→)留言7則，0人參與, 最新作者william0612 (Will)時間18年前 (2007/11/20 06:54), 編輯資訊
0
0
0
內容預覽:
想請教高手. 1.) Prove A v A v A |- B -> A. 下面應該是屬於論述邏輯? (Predicate Logic). 2.) |- (for all x)(A -> B -> C) -> (for all x)(A -> B) -> (for all x)(A -> C). 3
(還有607個字)
首頁
上一頁
1
下一頁
尾頁