ch1离散数学.ppt

先看著名物理学家爱因斯坦出过的一道题： ????一个土耳其商人想找一个十分聪明的助手协助他经商，有两人前来应聘，这个商人为了试试哪个更聪明些，就把两个人带进一间漆黑的屋子里，他打开灯后说：“这张桌子上有五顶帽子，两顶是红色的，三顶是黑色的，现在，我把灯关掉，而且把帽子摆的位置弄乱，然后我们三个人每人摸一顶帽子戴在自己头上，在我开灯后，请你们尽快说出自己头上戴的帽子是什么颜色的。”说完后，商人将电灯关掉，然后三人都摸了一顶帽子戴在头上，同时商人将余下的两顶帽子藏了起来，接着把灯打开。这时，那两个应试者看到商人头上戴的是一顶红帽子，其中一个人便喊道：“我戴的是黑帽子。”????请问这个人说得对吗？他是怎么推导出来的呢？ ????要回答这样的问题，实际上就是看由一些诸如“商人戴的是红帽子”这样的前提能否推出“猜出答案的应试者戴的是黑帽子”这样的结论来。这又需要经历如下过程： ????(1) 什么是前提？有哪些前提？ ????(2) 结论是什么？ ????(3) 根据什么进行推理？ ????(4) 怎么进行推理？ ????下面的第一章回答第一个问题。第二章回答第二、三个问题。 　　 第一章命题逻辑 第二节 命题公式及分类 第三节 等值演算 例1 证明 20 蕴涵等值式 A B 0 0 1 1 0 1 1 1 1 0 0 0 1 1 1 1 第四节 联结词的全功能集 第五节 对偶与范式 第六节 推理理论 第一章 小结与例题 (3) 对应的十进制数为0，1，3。 例5、用真值表求 的主合取范式。 解：(2) 的成假赋值有000，001，011， 所以 的主合取范式： 思考：命题公式 间有什么联系，能否通过其中一个求 另一个？(观察例3，例5) 的主合取范式，主析取范式 由例3、例5知： 极大项和极小项的关系为（由定义）： 2.5、已知命题公式的主析取范式(主合取范式)， 求主合取范式(主析取范式)。 (2) 写出与(1)中极小项角码相同的极大项， 由 的主合取范式步骤： 的主析取范式求 (1) 写出 的主析取范式未出现的极小项， (3) 由以上极大项合取即成 的主合取范式。 例6、(1) 已知命题公式 的主合取范式。( 主析取范式为： 求 含3个命题变项) 解： 的主合取范式为： 例6、(2) 已知命题公式 主合取范式为： 的主析取范式。( 求 含2个命题变项) 解： 的主析取范式为： 3、主范式的用途。 (1) 判断两命题公式是否等值。 (2) 判断命题公式的类型。 重言式 主析取范式含全部的极小项 主合取范式不含任何极大项 (主合取范式记为1) 矛盾式 主析取范式不含任何极小项 (主析取范式记为0) 主合取范式含全部的极大项 3、主范式的用途。 (2) 判断命题公式的类型。 可满足式 主析取范式至少含一个极小项 主合取范式至少缺一个极大项 (3) 求成真(假)赋值。 (4) 求真值表。 例7、已知含3个命题变项的公式： 和 (1) 判断 的类型。 解： 为矛盾式。 为可满足式， (2) 判断 是否等值。 解： 不等值。 的成假赋值有010，011，100，101。 例7、已知含3个命题变项的公式： 和 (3) 求 的成真赋值和成假赋值。 的成真赋值有000，001，110，111。 解： (4) 求 的真值表。 解：真值表 内容： 重点： (1) 理解推理的概念； (2) 掌握8条推理定律； (3) 掌握推理规则； (4) 掌握构造证明法。 了解： 附加前提证明法和归谬法。 推理规则，构造证明法。 推理的概念，推理定律， 一、推理的形式结构。 2、判断推理的方法。 等值演算法，真值表法，主析取范式法。 1定义1.24 记作 则称前提 若 为重言式， 推结论 的推理正确， 为 的逻辑结论或有效结论。 。 例1.19判断下面各推理是否正确。 (1) 如果天气凉快，小王就不去游泳， 天气凉快，所以小王没去游泳。 结论： 推理形式结构为： 判断此蕴涵式是否为重言式。 前提： ， 解：设 小王去游泳。 ： ：天气凉快， [方法一] 用等值式法。 所以推理正确。 [方法二] 用真值表法。 其真值表中最后一列全为1， 所以推理正确。