[請益] P→((-P or Q)→Q)

看板logic作者 (拒絕)時間14年前 (2011/06/14 00:17), 編輯推噓3(3推 0噓 24→)
留言27則, 4人參與, 最新討論串1/4 (看更多)
P→((-P or Q)→Q) 目前只學了20條推論規則 好像沒辦法用條件證法 想了很久都沒有辦法證 請大家幫個忙囉...感謝 -- 我背的單字一個都沒有考出來。 難怪你會勝利！看來我該讓賢了。 -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 61.57.130.34
推
06/14 00:35, , 1F
你的意思是不能用條件證法要怎麼證嗎?
06/14 00:35, 1F
→
06/14 00:39, , 2F
如果可以用條件證法, Disjuncitve Syllogism 再兩次
06/14 00:39, 2F
→
06/14 00:39, , 3F
條件證法就直接出來了。
06/14 00:39, 3F
→
06/14 00:44, , 4F
能不能不用條件證法??因為會有這個問題就是不想用cp
06/14 00:44, 4F
→
06/14 00:44, , 5F
才會搞出這個問題
06/14 00:44, 5F
→
06/14 00:49, , 6F
Well...如果不用cp會有點難...至少要有等價於能夠引入
06/14 00:49, 6F
→
06/14 00:50, , 7F
->的推論規則...你能不能稍微說一下你學到的推論規則
06/14 00:50, 7F
→
06/14 00:50, , 8F
中有哪些是 -> 有出現的 (除了 MP 和MT之外)
06/14 00:50, 8F
→
06/14 00:50, , 9F
就基本的MP MT DS Simp Add DN CD這類的
06/14 00:50, 9F
→
06/14 00:53, , 10F
原本的題目是(1)P→(R or S) (2)Q→-S (3)-R 證P→-Q
06/14 00:53, 10F
推
06/14 00:54, , 11F
如果只有上面這幾個的話, 應該是證不出來。
06/14 00:54, 11F
→
06/14 00:55, , 12F
重點在於你的推論規則一定要包含有可以引入->的,
06/14 00:55, 12F
→
06/14 00:55, , 13F
而 CP 就是一個...
06/14 00:55, 13F
→
06/14 00:56, , 14F
主要是想要由(1)和(3)得出P→S 其他就簡單了
06/14 00:56, 14F
推
06/14 05:02, , 15F
第一步:將(1)改寫成"(S or -P) or R"
06/14 05:02, 15F
→
06/14 05:03, , 16F
第二步:由(3)得到"S or -P"
06/14 05:03, 16F
→
06/14 05:04, , 17F
第三步:將"S or -P"改寫成"P→S"
06/14 05:04, 17F
→
06/14 05:06, , 18F
我對20條規則不熟 希望這三個步驟都符合規則
06/14 05:06, 18F
→
06/14 06:27, , 19F
真值表法
06/14 06:27, 19F
→
06/14 06:30, , 20F
P->((-P or Q )->Q) <-> -P or (-P or Q)->Q
06/14 06:30, 20F
→
06/14 06:31, , 21F
-P or (-P or Q)->Q <-> -P or -(-P or Q) or Q
06/14 06:31, 21F
→
06/14 06:31, , 22F
-P or -(-P or Q) or Q <-> -P or P&-Q or Q
06/14 06:31, 22F
→
06/14 06:32, , 23F
-P or P&-Q or Q <-> -(P&-Q) or (P&-Q)
06/14 06:32, 23F
→
06/14 06:34, , 24F
(2)P→((-P or Q)→Q) <-> P->((P->Q)->Q)
06/14 06:34, 24F
→
06/14 06:38, , 25F
Q->-S <-> S->-Q ((P->(R or S))&-R)-> P->S
06/14 06:38, 25F
→
06/14 06:38, , 26F
(S->-Q)&(P->S)->(P->-Q)
06/14 06:38, 26F
→
06/14 06:40, , 27F
其實我都沒有記規則的名稱...
06/14 06:40, 27F
‣ 更多 ru04ul4 的文章
文章代碼(AID): #1DzZWlmi (logic)
‣ 更多 ru04ul4 的文章
文章代碼(AID): #1DzZWlmi (logic)