作者yauhh (哟)
看板logic
标题Re: [请益] 逻辑三段推论2
时间Thu Apr 9 07:31:51 2009
※ 引述《ntddt (哀便毛)》之铭言：
: 请教由
: (8): All A and C and not D are contradictory
: (9): All A and not B and not D are contradictory
: 怎推导出
: (10): All A and not D are B and not C
: 步骤愈详细愈好, Thanks
(A & C & not D) -> _
(A & not B & not D) -> _
推导 A & not D -> B & not C:
A & not D = (A & not D) & (C | not C) = (A & C & not D) | (A & not C & not D).
因为 (A & C & not D) 是 contradictory,即 A & C & no D |- _,
所以 A & not D = A & not C & not D = (A & not C & not D) & (B | not B)
= (A & B & not C & not D) | (A & not B & not C & not D).
再因为 (A & not B & not D) 是 contradictory,即 A & not B & not C & notD
= _ & not C = _,
所以 A & not D = A & B & not C & not D.
於是 A & not D -> B & not C.
以上不知道有没有搞错东西,请指教.
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 59.112.224.131
※ 编辑: yauhh 来自: 59.112.224.131 (04/09 16:59)