推 buda:喔~懂了 謝謝你~~~ 03/27 12:57
※ 引述《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