作者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