作者whoam (出来面对！！)
看板logic
标题[请益] 一题逻辑证明
时间Thu Dec 15 16:36:04 2011
A->B
C->A
C v(B。D) 所以 B
这一题要怎麽证明阿orz？？
而且条件是不能使用conditional proof或反证法
请各位大大指教ｑｑ
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 123.194.194.244
1F：推 MathTurtle:(B。D) 是什麽? 12/15 19:16
2F：推 MathTurtle:如果不能用conditional proof或反证法的话, 看看能不能 12/15 19:18
3F：→ MathTurtle:用一些等价式(如: X->Y 等价於 ~X v Y) 这类的去试吧 12/15 19:19
4F：→ whoam:。应该是实心的，就是连言的意思，但打不出来...然後我有试 12/15 20:34
5F：→ whoam:过用等价式，但解不出来orz 12/15 20:35
6F：推 MathTurtle:Hint: C v (B&D) 等价於 ~(B&D) -> C; 再和前两条推出 12/15 20:55
7F：推 MathTurtle:~(B&D) -> B; 然後它会等价於 (B&D) v B, 再用Dist 12/15 21:01
8F：→ MathTurtle:把它换成 (BvB) & (B vD), 然後就可以 Simp 推出 BvB 12/15 21:02
9F：→ mikechan:((A->B)&(C->A))->(C->B) (C v(B&D))<=>~C->(B&D) 12/18 00:59
10F：→ mikechan:((C->B)&(~C->(B&D)))<->(B or (B&D)) 12/18 01:00
11F：→ mikechan:(B or (B&D))<->(B or B) & (B or D) 12/18 01:01
12F：→ mikechan:((B or B) & (B or D))->( B or B) 12/18 01:01
13F：→ mikechan:(B or B) <-> B 12/18 01:01