作者wilo (我太闲了 -_-)
看板logic
标题Re: [请益] 又是自然演绎法
时间Fri Nov 9 14:46:42 2007
※ 引述《laevulose (果果)》之铭言：
: 不好意思我真的很逊
: 所以又要麻烦大家帮忙...
: (1)不用IP/CP的话要怎麽解呢?
: 1. A→B
: 2. C→D
: /∴ (A V C) →(B V D)
这题你使用 1. 2. Adj
再配合 Impl
接着再使用 Dist 做个好几次
再使用 Impl
就可以了
: 2,3题是定理的证明
: 因为IP/CP才教没多久 也没教很深入
: 所以想了半天 试了半天还是解不出来...
: (2)
: A→(～A→B)
1. A P
2. A V B 1. Add.
3. ～A→B 2. Impl.
4. A→(～A→B) 1,3 CP.
: (3)
: A→[B←→(A→B)]
1. A P for CP
2. A→B P for CP
3. B 1,2 MP
4. (A→B)→B 2,3 CP
5. B P for CP
6. B V ~A 5 Add
7. ~A V B 6 Comm
8. A→B 7 Impl
9. B→(A→B) 5,8 CP
10. 把 4,9 Adj
11. B←→(A→B) 10 Equiv
12. A→[B←→(A→B)] 1,11 CP
--
╮╥╮╥
╮║╮║ 。
╯╨╯╨ 。
大家都要快快乐乐唷！
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 218.171.51.100
1F：推 thirdlittle:什麽是ADJ?? 11/09 19:58
2F：推 thirdlittle:第三题有点看不懂耶 对不起我太弱了@@ 11/09 20:07
3F：推 wilo:两个为真的句子可以conjunct起来就叫做adj 11/09 20:23