[請益] 邏輯三段推論2

看板logic作者 (哀便毛)時間16年前 (2009/04/09 01:50), 編輯推噓2(201)
留言3則, 2人參與, 最新討論串1/2 (看更多)
請教由 (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 -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 203.73.18.140

04/10 01:17, , 1F
你題目從這找的?
04/10 01:17, 1F

04/11 03:07, , 3F
assume (10) is False, so All A&~D are ~B or C
04/11 03:07, 3F
文章代碼(AID): #19tEFs3R (logic)
文章代碼(AID): #19tEFs3R (logic)