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