离散数x学课件-第1章-5(上).pptVIP

Proof： 用CP规则证明 (1) R P(附加前提) (2) (Q ∨ R) → P P (3) P∧ ? Q P (4)Q ∨ R T(1)I (5)P T(2)(4)I (6) R → P CP 4. 对下面的每一组前提，写出可能推导出的结论以及所应用的推理规则。 a）如果我跑步，那么，我很疲劳。 我没有疲劳。 b）如果他犯了错误，那么他神色慌张。 他神色慌张。 c）如果我的程序通过，那么，我很快乐。 如果我快乐，那么，阳光很好。 现在是晚上十一点，天很暖。 Solution： a）设P:我跑步 Q:我很疲劳 前提为:P → Q, ? Q (1) P → Q P (2) ? Q P (3) ? P T(1)(2)I 结论为： ? P ，我没有跑步。