作者yipeng (peng)
看板W-Philosophy
标题Re: [问题] 想请教三个逻辑论证问题，请好心人帮帮忙
时间Wed Apr 26 17:44:21 2006
非常感谢（泪），只是第一题的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
1F：推 apollo57:~E then ~Dˇ~E(Add) then D→~E(Implication) 04/26 21:44
2F：→ yipeng:感谢，我终於懂了^^ 04/28 18:50