离散数学01 命题逻辑概念.ppt

第1章 基础：逻辑和证明 1.1 命题逻辑 1.1 命题逻辑 形式逻辑：采用抽象符号表示推理过程 利用符号，可以把人的推理过程分解成一些简单、原始、机械的步骤 使得用计算机代替人进行推理成为可能 1.1 命题逻辑 程序设计时，需要把整个推理及计算过程，丝毫不漏地全盘考虑到，并统统编入程序，机器才能依次执行 必须有足够的数理逻辑训练，熟悉推理过程的全部细节，才能做好程序设计 1.1 命题逻辑 程序设计是一个细致而麻烦的工作 如何设计正确的程序？ 逻辑正确是程序(段)正确的必要条件 如何防止在计算过程中出现错误？，如何很快地发现这种错误而及时加以改正？ 逻辑可以帮助证明程序(段)的正确性 1.1 命题逻辑 基本概念 命题、真值 逻辑运算符(联结词) 非、与、或、蕴含、双蕴含 基础工具 真值表 相关应用 逻辑表达式、布尔检索、逻辑难题、位运算 1.1.2 命题(proposition) 定义1：一个命题就是一条陈述句 陈述的事情能够判别其真假 要么真、要么假，不能即真又假 定义2：命题的真假叫做命题的真值 只有两种真值：真、假 True、False；1、0 ；T、F 1.1.2 命题 一个命题就是一条陈述句 陈述的事情能够判别其真假 P1 例1 1、2、4 非陈述句不是命题 感叹句、祈使句、疑问句 P2 例2 1、2、“真好啊！” 1.1.2 命题 一个命题就是一条陈述句 每条陈述句都是一个命题 P1 例1 3 是命题吗？能够判断其真假吗？ 1＋1＝2 为真，那么 1＋1＝10 为假吗？ 当明确了规则后，上述语句都是命题 注意：在判断命题(陈述句)真假时，需要其所在的场景(即上下文) 1.1.2 命题 在判断命题(陈述句)真假时，需要明确其所在的场景(即上下文) P2 例3 “今天是星期五”是命题吗？ 今天是哪一天？语句的真假能被明确判断吗？ 当明确了时间后，上述语句是命题 1.1.2 命题 在判断命题(陈述句)真假时，需要明确其所在的场景(即上下文) “这块黑板上没有写字”是命题吗？ 如果我站在隔壁教室说话呢？ 当明确了说话的地点后，上述语句是命题 1.1.2 命题 在判断命题(陈述句)真假时，需要明确其所在的场景(即上下文) “这盘菜是咸的”是命题吗？ 如果说话的人是自贡人？ 当明确了说话的人后，上述语句是命题 1.1.2 命题 在判断命题(陈述句)真假时，需要明确其所在的场景(即上下文) P2 例2 3、4 真的就不能是命题吗？ 当 x=1 时，x+1=2 是命题吗？ 当 x=y=2、z=3 时，x+y=z 是命题吗？ 如果变量被赋值后，上述语句都是命题 1.1.2 命题 一个命题就是一条(明确了其上下文的)陈述句 “飞碟来自外星球”是命题吗？ “哥德巴赫猜想是正确的”是命题吗？ ∵虽真假未知，但真假可知 ∴都是命题！ 1.1.2 命题 一个命题就是一条(明确了其上下文的)陈述句 剃头匠说：“我只给不自己剃须的人刮胡子” 这条已明确了上下文的陈述句是命题吗？ 1.1.2 命题 一个命题就是一条(明确了其上下文的)陈述句 要么真、要么假，不能即真又假 “我是高兴的”是真还是假？ 因为没有确定其真假的方法，所以无法判断 这样的陈述句不在本书范围内：“三值”逻辑 命题逻辑是一种“二值”逻辑 1.1.2 命题 一个命题就是一条(明确了其上下文的)陈述句：要么真、要么假，不能即真又假 “雪花是形状规则、重量小、无色、无味、冰凉、冬天才有的水合物”是命题吗？ 是真还是假？ 你能一次就能完成对其真假的判断吗？ 1.1.2 命题 你能一次就能完成对其真假的判断吗？ “雪花是形状规则、重量小、无色、无味、冰凉、冬天才有的水合物” “雪花是水合物”：可以独立的一次完成 原子命题：其真假独立于其它命题 命题的基本单位 命题概念的小结 一个(原子)命题是一条陈述句 其真假能够在明确上下文中被独立的确定 上下文：时间、地点、规则、人物、赋值 悖论是例外！ 其真值是唯一的 非真即假、非假即真：二值逻辑 (原子)命题的符号化表示 (原子)命题：p，q，r，s，… 真值：真＝T，假＝F 为什么要符号化表示？ 缺点：抽象不具体 好处：？ 复合命题(compound proposition) 定义：已有命题用逻辑运算符组合成的新命题 “雪花是形状规则、重量小、无色、无味、冰凉、冬天才有的水合物”就是一个复合命题 “雪花是形状规则的”：p “雪花是重量小的”：q “雪花是无色的”：r “雪花是无味的”：s “雪花是冰凉的”：t “雪花是冬天才有的”：u “雪花是水合物”：v 复合命题的符号化表示：p∧q∧r∧s∧t∧u∧v 逻辑运算符 组合命题的符号：也叫联结词 否定、合取、析取、蕴涵、双蕴涵 用于表示各原子命题之间的逻辑关系 否定命题(neg