作者ntddt (哀便毛)
看板logic
標題[請益] 邏輯三段推論2
時間Thu Apr 9 01:50:42 2009
請教由
(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
1F：推 ksmrt0123:你題目從這找的? 04/10 01:17
3F：推 mikechan:assume (10) is False, so All A&~D are ~B or C 04/11 03:07