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