看板 [ logic ]
討論串[請益] 幾題自然演繹法的問題
共 2 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
下一頁
尾頁
#2
Re: [請益] 幾題自然演繹法的問題
推噓3(3推 0噓 1→)留言4則，0人參與, 最新作者A1Yoshi (我是妖西)時間18年前 (2007/11/03 21:27), 編輯資訊
0
0
0
內容預覽:
應該不會是這樣證。因為Ｒ可以為假，Ｓ也可以。妳代回去就會發現。這表示. 我們不可能從前提證明Ｒ必為真或Ｓ必為真。. 1. P→R. 2. ～P→(～R→S). 3. ～R→～P 1 Contra. 4. ～R A. 5. ～P 3,4 MP. 6. ～R→S 2,5 MP. 7. S 4,6 MP.
(還有1197個字)
#1
[請益] 幾題自然演繹法的問題
推噓0(0推 0噓 0→)留言0則，0人參與, 最新作者laevulose (果果)時間18年前 (2007/11/03 19:51), 編輯資訊
0
0
0
內容預覽:
我是新手. 這幾題題目我想破頭都想不出來. 請大家幫幫忙. (1). 1. P→R. 2. ～P→(～R→S). /∴ R V S. 我想這題應該可以從. 證明R成立 或是證明S成立 再用Add得証. 但是我証不出來.... (2). 1. ～(A‧B) ↔～C. 2. (D V E) →C. /∴
(還有407個字)
首頁
上一頁
1
下一頁
尾頁