作者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