[請益] 請問一個邏輯問題 急! 麻煩大家解答

[jodawa (jodaway)]

如何運用邏輯規則

從[(A -> B ) & ( C -> D )]  ->  {A -> [B & ( C -> D)]}


請教各位大大


謝謝!


--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 118.233.158.2
→ jodawa:解出來了 好累
→ xcycl:這邊 C -> D 沒有用到，用 weakening 就可以推出來了 ...
→ jodawa:請問weakening是?
推 theyangist:Weakening在PL是這個規則：從Q，推出P->Q。
→ xcycl:我寫錯了 *_*