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

[ru04ul4 (拒絕)]

 P→((-P or Q)→Q)


目前只學了20條推論規則

好像沒辦法用條件證法

想了很久都沒有辦法證

請大家幫個忙囉...感謝

--
我背的單字一個都沒有考出來。
難怪你會勝利！看來我該讓賢了。

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 61.57.130.34
推 MathTurtle:你的意思是不能用條件證法要怎麼證嗎?
→ MathTurtle:如果可以用條件證法, Disjuncitve Syllogism 再兩次
→ MathTurtle:條件證法就直接出來了。
→ ru04ul4:能不能不用條件證法??因為會有這個問題就是不想用cp
→ ru04ul4:才會搞出這個問題
→ MathTurtle:Well...如果不用cp會有點難...至少要有等價於能夠引入
→ MathTurtle:->的推論規則...你能不能稍微說一下你學到的推論規則
→ MathTurtle:中有哪些是 -> 有出現的 (除了 MP 和MT之外)
→ ru04ul4:就基本的MP MT DS Simp Add DN CD這類的
→ ru04ul4:原本的題目是(1)P→(R or S) (2)Q→-S (3)-R 證P→-Q
推 MathTurtle:如果只有上面這幾個的話, 應該是證不出來。
→ MathTurtle:重點在於你的推論規則一定要包含有可以引入->的,
→ MathTurtle:而 CP 就是一個...
→ ru04ul4:主要是想要由(1)和(3)得出P→S 其他就簡單了
推 dementia:第一步:將(1)改寫成"(S or -P) or R"
→ dementia:第二步:由(3)得到"S or -P"
→ dementia:第三步:將"S or -P"改寫成"P→S"
→ dementia:我對20條規則不熟 希望這三個步驟都符合規則
→ mikechan:真值表法
→ mikechan:P->((-P or Q )->Q) <-> -P or (-P or Q)->Q
→ mikechan:-P or (-P or Q)->Q  <-> -P or -(-P or Q) or Q
→ mikechan:-P or -(-P or Q) or Q <-> -P or P&-Q or Q
→ mikechan:-P or P&-Q or Q <-> -(P&-Q) or (P&-Q)
→ mikechan:(2)P→((-P or Q)→Q) <-> P->((P->Q)->Q)
→ mikechan:Q->-S <-> S->-Q  ((P->(R or S))&-R)-> P->S
→ mikechan:(S->-Q)&(P->S)->(P->-Q)
→ mikechan:其實我都沒有記規則的名稱...