※ 引述《yipeng (peng)》之銘言：
: 這不是作業，只是我自己在自習時解不開的問題，希望有人可以幫我解答，謝謝^^
: 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.112.5.64