作者jodawa (jodaway)
看板logic
標題[請益] 請問一個邏輯問題 急! 麻煩大家解答
時間Fri Sep 28 01:10:18 2012
如何運用邏輯規則
從[(A -> B ) & ( C -> D )] -> {A -> [B & ( C -> D)]}
請教各位大大
謝謝!
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 118.233.158.2
1F：→ jodawa:解出來了 好累 09/28 16:25
2F：→ xcycl:這邊 C -> D 沒有用到，用 weakening 就可以推出來了 ... 09/30 23:04
3F：→ jodawa:請問weakening是? 10/02 20:49
4F：推 theyangist:Weakening在PL是這個規則：從Q，推出P->Q。 12/27 01:28
5F：→ xcycl:我寫錯了 *_* 12/28 18:44