[請益] 通識邏輯自然演繹法!

看板logic作者 (Demih)時間12年前 (2012/01/06 14:33), 編輯推噓0(0推 0噓 21→)
留言21則, 3人參與, 最新討論串1/1
這兩題怎麼解? (一) 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
→
01/06 19:39, , 1F
((P->Q)&(Q->B))->(P->B) ((Q->B)&(P->B)&(PorQ))->B
01/06 19:39, 1F
→
01/06 19:43, , 2F
(A<->(B->C))<->((A->(B->C))&((B->C)->A))
01/06 19:43, 2F
→
01/06 19:44, , 3F
((A->(B->C))&((B->C)->A))->((A->(B->C))
01/06 19:44, 3F
→
01/06 19:44, , 4F
((A->(B->C))&((B->C)->A))->((B->C)->A)
01/06 19:44, 4F
→
01/06 19:49, , 5F
(A->(B->C))<->(~Aor(B->C)) (~Aor(B->C))<->(~Aor~BorC)
01/06 19:49, 5F
→
01/06 19:51, , 6F
((B->C)->A)<->(~(B->C)orA) (~(B->C)orA)<->~(~BorC)orA
01/06 19:51, 6F
→
01/06 19:52, , 7F
(~(~BorC)orA)<->((B&~C)orA)
01/06 19:52, 7F
→
01/06 19:53, , 8F
((B&~C)orA)<->(BorA)&(~CorA)
01/06 19:53, 8F
→
01/06 19:54, , 9F
((BorA)&(~CorA))<->(~CorA) (~CorA)<->C->A
01/06 19:54, 9F
→
01/06 19:54, , 10F
((BorA)&(~CorA))<->(~CorA) (~CorA)<->(C->A)
01/06 19:54, 10F
→
01/06 19:55, , 11F
((~Aor~BorC)&B)<->(~AorC) (~AorC)<->(A->C)
01/06 19:55, 11F
→
01/06 19:56, , 12F
((C->A)&(A->C))<->(A<->C)
01/06 19:56, 12F
→
01/06 19:56, , 13F
好混亂...
01/06 19:56, 13F
→
01/06 19:57, , 14F
(A<->~B)orB -> ((A->~B)&(~B->A))orB
01/06 19:57, 14F
→
01/06 19:58, , 15F
((A->~B)&(~B->A))orB <-> (((A->~B)orB)&((~B->A)orB))
01/06 19:58, 15F
→
01/06 19:59, , 16F
(((A->~B)orB)&((~B->A)orB))->((A->~B)orB)
01/06 19:59, 16F
→
01/06 19:59, , 17F
(((A->~B)orB)&((~B->A)orB))->((~B->A)orB)
01/06 19:59, 17F
→
01/06 20:01, , 18F
((~B->A)orB)<->(BorAorB) (BorAorB)<->AorB
01/06 20:01, 18F
→
01/06 20:02, , 19F
我覺得我自己也會看到昏掉
01/06 20:02, 19F
→
01/06 22:55, , 20F
現在作業不會寫都上來問就好了？板友真是佛心來地呀～
01/06 22:55, 20F
→
01/06 23:07, , 21F
有點眼花可是謝謝
01/06 23:07, 21F
‣ 更多 demihsieh 的文章
文章代碼(AID): #1F1fN5eX (logic)