数理逻辑课件 第2节 命题逻辑等值演算.pptVIP

* * 只要A曾到过受害者房间并且11点前没离开，A就是嫌疑犯。 A曾到过受害者房间。如果A在11点前离开，看门人会看见他。看门人没有见到他。 所以， A是嫌疑犯。 设 p: A到过受害者房间，q: A在11点前离开， r: A是嫌疑犯，s: 看门人看见A。 前提：( p∧? q) ? r, p, q ? s, ? s 结论： r 问题转化为： 推理证明 问题1 */33 前提：( p∧? q) ? r, p, q ? s, ? s 结论： r 证明 问题1 ① q ? s 前提引入 ② ? s 前提引入 ③ ?q ① ②拒取式 ④ p 前提引入 ⑤ p∧? q ③ ④合取引入 ⑥ ( p∧? q) ? r 前提引入 ⑦ r ⑤⑥假言推理 推理证明需用推理规则，见第3章! */33 问题1 只要A曾到过受害者房间并且11点前没离开，A就是嫌疑犯。 A曾到过受害者房间。如果A在11点前