离散数学第三章的课件分析.ppt

作业 书本第54页的第15题第（1）小题 书本第54页的第16题第（1）小题 书本第54页的第17题 请大家把答案写在科作业纸上，注意写明题号。下次上课之前交给我。 作 业 书本第52页的第11题（要求要抄写题目，即证明的主体） 书本第53页的第12题（要求要抄写题目，即证明的主体） 书本第53页的第14题第（1）小题 书本第53页的第14题第（5）小题 书本第54页的第16题第（1）小题 书本第54页的第17题 请大家把作业作在科作业纸上，下次上课之前交。 土耳其商人和帽子的故事 解:设 p1:猜对的人戴红帽子. p2:猜对的人戴黑帽子. q1:另一个人戴红帽子. q2:另一个人戴黑帽子. r:商人戴红帽子. 商人头上戴的是红帽子，即r为真，另一个人没有作出断定，故q1，q2真假未定。有如下几种可能： （1）如果商人和猜对的人戴的都是红帽子，那么另一个戴的就是黑帽子，因为红帽子只有两顶。 （2）如果商人和另一个戴的都是红帽子，那么猜对的人戴的就是黑帽子 （3）如果猜对的人戴的不是红帽子，那么他戴的就是黑帽子 （4）如果另一个人戴的不是红帽子，那么他戴的就是黑帽子。 根据题设，上面四种可能情况符化号为： （1） r ∧ p1 → q2 （2） r ∧ q1 → p2 （3）┐ p1→ p2 （4）┐ q1 → q2 假设p1为真 ?? ?① p1 ???????? 前提引入 ????② r? 前提引入 ????③ p1 ∧ r ????? ①②合取引入????④ r ∧ p1 → q2 ?? 前提引入 ????⑤ q2 ? ③④假言推理 这就是说， q2:另一个人戴黑帽子，这个判定是必然可以作出的， 但是这与题设条件（即“另一个没有作出判定”）相矛盾，因此， p1为假，即┐ p1为真， ????⑥ ┐ p1 ? 前提引入 ????⑦ ┐ p1→ p2 ? 前提引入 ????⑧ p2 ??????? ⑥⑦假言推理??? 即p2是有效的结论，这就是说，“猜对的人戴着黑帽子”是真的，所以猜对的人肯定的说：“我戴的是黑帽子”。 * 主要内容 推理的形式结构 推理的正确与错误 推理的形式结构 判断推理正确的方法 推理定律 自然推理系统P 形式系统的定义与分类 自然推理系统P 在P中构造证明:直接证明法、附加前提证明法、归谬法 第三章 命题逻辑的推理理论 * 3.1 推理的形式结构 定义3.1 设A1, A2, …, Ak, B为命题公式. 若对于每组赋值，或者A1?A2?…? Ak 为假，或者当A1?A2?…?Ak为真时，B也为真，则称由前提A1, A2, …, Ak推出结论B的推理是有效的或正确的, 并称B是有效结论. 几点说明： 1．由前提A1,A2,…,Ak推结论B的推理是否正确与诸前提的排列次序无关。 ? 2．设A1,A2,…,Ak，B中共出现n个命题变项，对于任何一组赋值前提和结论的取值情况有以下四种： ??(1) A1∧A2 ∧…∧Ak为0，B为0.????(2) A1∧A2 ∧…∧Ak为0，B为1.????(3) A1∧A2 ∧…∧Ak为1，B为0.????(4) A1∧A2 ∧…∧Ak为1，B为1. 3．推理正确，并不能保证结论B一定为真，这与通常的推理是不同 * 例3.1 判断下列推理是否正确：(1){p,p→q} ├ q(2){p,q→p} ├ q 解 只要写出前提的合取式与结论的真值表，看是否出现前提合取式为真，而推论为假的情况。 ????(1)由上表可知，没有出现前提合取式为真，而结论为假的情况，因而(1)中推理正确，即{p,p→q}　q.????(2)由上表可知，在赋值为10情况下，出现了前提合取式为真，而结论为假的情况，因而(2)推理不正确，即{p,q→p}　 q. * 推理的形式结构 2. A1?A2?…?Ak?B 若推理正确, 记为A1 ? A2 ? … ? Ak ? B 3. 前提： A1, A2, … , Ak 结论： B 判断推理是否正确的方法: 真值表法 等值演算法 主析取范式法 推理的形式结构 1. {A1, A2, …, Ak} B 若推理正确, 记为{A1,A2,?,Ak} B 定理3.1 由命题公式A1,