[請益] 幾題自然演繹法的問題

看板logic作者 (果果)時間18年前 (2007/11/03 19:51), 編輯推噓0(0推 0噓 0→)
留言0則, 0人參與, 最新討論串1/2 (看更多)
我是新手 這幾題題目我想破頭都想不出來 請大家幫幫忙 (1) 1. P→R 2. ～P→(～R→S) /∴ R V S 我想這題應該可以從 證明R成立 或是證明S成立 再用Add得証 但是我証不出來... (2) 1. ～(A‧B) ↔～C 2. (D V E) →C /∴ E→A 我可以証出C→A(?)但是証不出E→C... 1. ～(A‧B) ↔～C P 2. (D V E) →C P 3. [～(A‧B) →～C]‧[～C →～(A‧B)] 1 Equiv 4. ～(A‧B) →～C 3 Simp 5. ～～C →～～(A‧B) 4 MT 6. C →(A‧B) 5 DN 7. C →A 6 Simp 但是我不知道第五項的MT規則可不可以這樣用 因為通常是給我～～C成立 才能導出～～(A‧B)成立吧? 請各位指點 (3) 1. T→G 2. S→G /∴ (T V S) →G 我的想法是 1. T→G P 2. S→G P 3. (T V G) →(G V G) 1,2 CD 4. (T V G) →G 3 Idemp 但是不知道3.這步可不可以這樣用 因為前提並沒有"T V G"這項 大概就這些 麻煩各位強者了!! -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 61.228.8.118
‣ 更多 laevulose 的文章
文章代碼(AID): #17B63Esw (logic)
‣ 更多 laevulose 的文章
文章代碼(AID): #17B63Esw (logic)