离散数学--命题逻辑.pptVIP

离散数学 数理逻辑简介 一个土耳其商人想找一个十分聪明的助手协助他经商，有两人前来应聘，这个商人为了试试哪个更聪明些，就把两个人带进一间漆黑的屋子里，他打开灯后说：“这张桌子上有五顶帽子，两顶是红色的，三顶是黑色的，现在，我把灯关掉，而且把帽子摆的位置弄乱，然后我们三个人每人摸一顶帽子戴在自己头上，在我开灯后，请你们尽快说出自己头上戴的帽子是什么颜色的。”说完后，商人将电灯关掉，然后三人都摸了一顶帽子戴在头上，同时商人将余下的两顶帽子藏了起来，接着把灯打开。这时，那两个应试者看到商人头上戴的是一顶红帽子,其中一个人便喊道：“我戴的是黑帽子。” 请问这个人说得对吗？他是怎么推导出来的呢？ 数理逻辑简介 只要a能被4整除, 则a就能被2整除; 符号化: p ? q ? （不可能为假） 在真值表中，命题公式赋值数目，取决于命题变项的个数。例如，包含2个命题变项的命题公式共有4组赋值，包含3个命题变项的命题公式共有8组赋值。一般来说，包含n个命题变项的命题公式共有2n组赋值。从真值表中可以看到，有些不同的命题公式，在所有的赋值下，其对应的真值与另一命题公式完全相同。 在推理过程中，若命题变项较多，用以上方法不方便，必要引入构造证明法（直接证法） 离散数学 (3 )(W∨R)→V，V→C∨S，S→U，?C∧?U ? ?W 证明 (1) ?C∧?U 前提引入 (2) ?U (1)化简 (3) S→U 前提引入 (4) ?S (2) (3)拒取式 (5) ?C (1)化简 (6) ?C∧?S (4) (5)合取引入 (7) ? (C∨S) (6) 置换 (8) (W∨R)→V 前提引入 (9) V→(C∨S) 前提引入 (10) (W∨R)→(C∨S) (8) (9)假言三段论 (11) ? (W∨R) (7) (10)拒取式 (12) ?W∧?R (11)置换 (13) ?W (12)化简 离散数学 例13：公安局受理某单位发生的一桩案件，已获取 如下事实： (1) 疑犯甲或疑犯乙，至少有一人参与作案； (2) 如果甲作案，则作案不在上班时间； (3) 如果乙的证词正确，则大门还未上锁； (4) 如果乙的证词不正确，则作案发生在上班时间； (5) 已证实大门上了锁； 试判断谁是作案人？写出推理过程。 四、应用（续） 离散数学 解题思想: 将命题符号化；写出前提和可能结论；使用构造证明法推演出正确结论。 四、应用（续） 解： 设p：甲作案； q：乙作案； r：作案发生在上班时间； s：乙证词正确； t：大门已上锁。 离散数学 例13：公安局受理某单位发生的一桩案件，已获取 如下事实： (1) 疑犯甲或疑犯乙，至少有一人参与作案； (2) 如果甲作案，则作案不在上班时间； (3) 如果乙的证词正确，则大门还未上锁； (4) 如果乙的证词不正确，则作案发生在上班时间； (5) 已证实大门上了锁； 试判断谁是作案人？写出推理过程。 四、应用（续） p ? q p ? ? r s ? ? t ? s ? r t 离