Re: [問題] 想請教三個邏輯論證問題，請好心人幫幫忙

[yipeng (peng)]

非常感謝（淚），只是第一題的D→～E我看不懂＞＜


: : 1.～A→(B˙C) / (D→～E)→(～B˙～A) / (EˇD)→C / ∴C
: suppose not C
: not E and not D
: not E
: D→～E
: ～B˙～A
: ～B
: ～A
: B˙C
: B
: B˙～B(contradiction)
: : 2.～C≡A / (F˙H)→～C / ～(AˇB) / ∴F˙～B
: ～A and ～B
: ～B
: ～A
: C
: F˙H
: F
: : 3.H→～(A→B) / HˇB / H≡～B
: if H
: ～(A→B)
: ～(～AˇB)
: A˙～B
: ～B
: if ～B
: 同樣方法～～～

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 140.122.28.224
推 apollo57:~E then ~Dˇ~E(Add) then D→~E(Implication)
→ yipeng:感謝，我終於懂了^^