离1散数学课件chap1.pptVIP

例7、设 (2) 求 的主析取范式、主合取范式。 解： 例8、判断下列推理是否正确。 解：可用多种方法(如真值表法，等值演算法， 主范式法)验证， 并非重言式， 故推理不正确。 (1) 前提： 结论： ， 例8、判断下列推理是否正确。 (2) 如果今天是星期二，则明天是星期四。 今天是星期二，所以明天是星期四。 以上推理即假言推理，所以是正确的。 解： ：明天是星期四， ：今天是星期二， 前提： 结论： ， 例9、写出对应下面推理的证明。 　　有红、黄、蓝、白四队参加足球联赛。如果红队第三，则当黄队第二时，蓝队第四；或者白队不是第一，或者红队第三；事实上，黄队第二。因此，如果白队第一，那么蓝队第四。 证明：设 ：红队第三， ：黄队第二， ：蓝队第四， ：白队第一。 前提： 结论： 前提： 结论： 前提引入 附加前提引入 ①②析取三段论 前提引入 ④ ① ③ ② ⑤ ③④假言推理 前提： 结论： ③④假言推理 前提引入 ⑤⑥假言推理 ⑤ ⑦ ⑥ 由附加前提证明法知推理正确。 例10、一公安人员审查一件盗窃案，已知的事实如下： (1) 甲或乙盗窃了录音机； (2) 若甲盗窃了录音机，则作案时间不能 发生在午夜前； (3) 若乙的证词正确，则午夜时屋里灯光未灭； (4) 若乙的证词不正确，则作案时间发生在午夜之前； (5) 午夜时屋里灯光灭了。