作者laevulose (果果)
看板logic
标题[请益] 又是自然演绎法
时间Thu Nov 8 19:28:28 2007
不好意思我真的很逊
所以又要麻烦大家帮忙...
(1)不用IP/CP的话要怎麽解呢?
1. A→B
2. C→D
/∴ (A V C) →(B V D)
2,3题是定理的证明
因为IP/CP才教没多久 也没教很深入
所以想了半天 试了半天还是解不出来...
(2)
A→(～A→B)
(3)
A→[B←→(A→B)]
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 61.217.154.114
※ 编辑: laevulose 来自: 61.217.154.114 (11/08 19:28)