作者demihsieh (Demih)
看板logic
标题[请益] 通识逻辑自然演绎法!
时间Fri Jan 6 14:33:39 2012
这两题怎麽解?
(一)
1.(A<->~B)orB /所以 AorB
(二)
1.A<->(B->C)
2.P->Q
3.Q->B
4.PorQ /所以A<->C
感谢 8)
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.122.20.132
1F：→ mikechan:((P->Q)&(Q->B))->(P->B) ((Q->B)&(P->B)&(PorQ))->B 01/06 19:39
2F：→ mikechan:(A<->(B->C))<->((A->(B->C))&((B->C)->A)) 01/06 19:43
3F：→ mikechan:((A->(B->C))&((B->C)->A))->((A->(B->C)) 01/06 19:44
4F：→ mikechan:((A->(B->C))&((B->C)->A))->((B->C)->A) 01/06 19:44
5F：→ mikechan:(A->(B->C))<->(~Aor(B->C)) (~Aor(B->C))<->(~Aor~BorC) 01/06 19:49
6F：→ mikechan:((B->C)->A)<->(~(B->C)orA) (~(B->C)orA)<->~(~BorC)orA 01/06 19:51
7F：→ mikechan:(~(~BorC)orA)<->((B&~C)orA) 01/06 19:52
8F：→ mikechan:((B&~C)orA)<->(BorA)&(~CorA) 01/06 19:53
9F：→ mikechan:((BorA)&(~CorA))<->(~CorA) (~CorA)<->C->A 01/06 19:54
10F：→ mikechan:((BorA)&(~CorA))<->(~CorA) (~CorA)<->(C->A) 01/06 19:54
11F：→ mikechan:((~Aor~BorC)&B)<->(~AorC) (~AorC)<->(A->C) 01/06 19:55
12F：→ mikechan:((C->A)&(A->C))<->(A<->C) 01/06 19:56
13F：→ mikechan:好混乱... 01/06 19:56
14F：→ mikechan:(A<->~B)orB -> ((A->~B)&(~B->A))orB 01/06 19:57
15F：→ mikechan:((A->~B)&(~B->A))orB <-> (((A->~B)orB)&((~B->A)orB)) 01/06 19:58
16F：→ mikechan:(((A->~B)orB)&((~B->A)orB))->((A->~B)orB) 01/06 19:59
17F：→ mikechan:(((A->~B)orB)&((~B->A)orB))->((~B->A)orB) 01/06 19:59
18F：→ mikechan:((~B->A)orB)<->(BorAorB) (BorAorB)<->AorB 01/06 20:01
19F：→ mikechan:我觉得我自己也会看到昏掉 01/06 20:02
20F：→ maylaw:现在作业不会写都上来问就好了？板友真是佛心来地呀～ 01/06 22:55
21F：→ demihsieh:有点眼花可是谢谢 01/06 23:07