作者weijing (东荣牌论文产生器)
看板logic
标题Re: 可以请教一个通识课作业的问题吗??
时间Sun Mar 26 03:02:25 2006
※ 引述《buda (武陵人真是太热情了^^)》之铭言：
: 1.～(A．B)≡～C
: 2.(D∪E)﹚C / ∴E﹚A
: 我想了两天了…
: 其他题都迎刃而解，就这题想破头都想不出来
: 会的人可不可以教一下或提示一下呢??
: 在下感激不尽~~~ ~(_ _)~
1.～(A．B)≡～C 前提
2.(D v E) → C 前提
→ 3.E 假设
│ 4.E v D addition
│ 5.C 2. 4. Modus Ponens
│ 6.～(A．B) → ～C 1. equivalence
│ 7.C → (A．B) 6. contraposition
│ 8.(A．B) 5. 7. Modus Ponens
│ 9.A 8. conjunction
└──────
10.E → A 3-9 结论
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 220.139.220.185
1F：推 buda:喔~懂了 谢谢你~~~ 03/27 12:57