离散数学第2版作者王元元离散第16讲复习讨论课件.pptVIP

证明方法习题讨论 1、构造下面推理的证明：只要A曾到过受害者房间并且11点以前没离开，A就是谋杀嫌犯；A曾到过受害者房间；如果A在11点以前离开房间，看门人会看见他；看门人没有看见他。所以，A是谋杀嫌犯 p: A曾到过受害者房间 q: A 11点以前离开受害者房间 r: A是谋杀嫌犯 s: 看门人会看见A 前提 (1) p??q?r (2) p (3) q ?s (4) ?s 结论 r 证明方法习题讨论 证明 (1) q?s 前提 (2) ?s ? ?q 由(1)及E15 (3) ?s 前提 (4) ?q 由(2)(3)及I3 (5) P 前提 (6) p??q