作者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