作者popandy (pop)
看板W-Philosophy
标题Re: [问题] 想请教三个逻辑论证问题，请好心人帮帮忙
时间Wed Apr 26 10:23:57 2006
※ 引述《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