01命题逻辑基本概念.pptVIP

第一部分 数理逻辑 应用数理逻辑，可以把人类的推理过程分解成一些非常简单原始的、非常和机械的动作，使得用机器代替人类进行推理成为可能 提供程序员设计算法时的思维方法指导 第一部分 数理逻辑 使用电子计算机前，必须先进行程序设计，把整个推理、计算的过程，丝毫不漏地考虑到，统统编入程序，机器则依次运行 必须有足够的数理逻辑训练，熟悉推理过程的全部细节，才能从事程序的设计 第一部分 数理逻辑 程序设计是一个细致而麻烦的工作 如何设计正确的程序？ 如何防止在计算过程中出现错误？ 如何很快地发现这种错误而及时加以改正？ 程序设计理论(软件理论)中的基本而重要的内容 利用数理逻辑可以帮助证明程序(段)正确性 第一章 数理逻辑 主要内容 命题逻辑基本概念 命题逻辑等值演算 命题逻辑的推理理论 一阶逻辑基本概念 一阶逻辑等值演算与推理 学习要求 掌握命题、联结词、复合命题、命题公式、等值式、等值演算、推理及证明等基本概念 熟练进行等值演算与构造证明 命题(proposition) 命题与真值 命题：判断结果惟一的陈述句(断言 assert) 真值：命题的判断结果 取值=真/假 T/F True/False 1/0 真命题与假命题 二值逻辑：vs. 多值逻辑、模糊逻辑 Example sqrt(5) 是有理数 √F 2 + 5 ＝ 7 √T x + 5 ＞ 3× 你去教室吗？× 这个苹果真大呀！× 请不要讲话！× 2025年元旦下大雪√ 我正在说假话× 今天是星期五× 7 是命题，它的真值现在不知道，到2025年元旦就知道了。命题真值一定是客观存在的，现在可以不知道 命题 注意 判断结果唯一性：“放之四海皆准” 时间性 区域性 标准性 不是命题 感叹句、祈使句、疑问句 悖论、判断结果不惟一的陈述句 命题符号化 简化、形式化 (简单)命题：小写英文字母p，q，r，…，pi，qi，ri 真值：“1”=真，“0”=假 Example p： 是有理数，真值=0 q：2 + 5 = 7，真值=1 课程时间调整安排 计科08、网络08合班上课 第6～19周一10, 11节，4313(CAI) 第6～9周二6, 7节，4515 第10～19周二3, 4节，4518(CAI) 命题概念小结 弄清概念 命题 命题的真值 真命题、假命题 学会(简单)命题符号化 (简单)命题符号化 Example p： 是有理数，真值=0 q：2 + 5 = 7，真值=1 ？目前的命题概念能够满足需要吗？ ？有无比目前命题形式更复杂的陈述句？ 联结词与复合命题 2是偶数而3是奇数 p: 2是偶数而3是奇数 合适吗？ 该语句描述了2个事实，用一个符号表示，不合适！ 原语句可分解为2个陈述句 2是偶数 3是奇数 用连词“而且”将2个陈述句合为一句 2是偶数，而且， 3是奇数 联结词与复合命题 2是偶数，而且， 3是奇数 2是偶数 p：2是偶数 3是奇数 q：3是奇数 而且：∧ 2是偶数而3是奇数：p∧q 复合命题 联结词与复合命题 简单命题、原子(atom)命题 不能再分解 复合命题(compound proposition) 使用联结词(connective)组合一个或多个命题构造得到的新命题 联结词：逻辑运算符(logical operator) 联结词与复合命题 否定式与否定联结词“?” 定义(definition): 设p为命题，复合命题“非p” 称为p的否定(negation)式 记作：?p ?：否定联结词 规定：?p 为真当且仅当p为假 真值表 描述命题真值的所有取值 确定由简单命题组成的复合命题的真值 联结词与复合命题 合取式与合取联结词“∧” 定义：设p，q为二个命题，复合命题“p并且q” ，称为p与q的合取(conjunction)式 记作：p∧q ∧：合取联结词 规定：p∧q为真当且仅当p与q同时为真 联结词与复合命题 合取式与合取联结词“∧” 联结词与复合命题 合取式与合取联结词“∧” 描述合取式的灵活性与多样性 吴颖既用功又聪明 吴颖虽然聪明，但是不用功 吴颖不仅用功而且聪明 吴颖一面看书，一面吃苹果 王华与张兰都是好学生 王华是好学生，并且张兰是好学生 C 分清简单命题与复合命题 王华与张兰是同学 S 联结词与复合命题 合取式与合取联结词“∧” 可联结相互无关系的命题 2＋3＝5 且 天正在下雨 联结词与复合命题 析取式与析取联结词“∨” 定义：设p, q为二命题，复合命题“p或q”称作p与q的析取式 记作：p∨q ∨：析取联结词 规定：p∨q为假当且仅当p与q同时为假 联结词与复合命题 析取式与析取联结词“∨” 自然语言中“或”的两种含义 相容(inclusive)或、可兼或 2或4是素数 2或3是素数 4或6是素数 自然语言中“或”的两种