[請益] 邏輯三段推論2

[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


--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 203.73.18.140
推 ksmrt0123:你題目從這找的?
→ ksmrt0123:http://www.begriffslogik.de/logiktest_en.html
推 mikechan:assume (10) is False, so All A&~D are ~B or C