第一章 命题逻辑基本的 概念 离散数学及其应用课件.pptVIP

第一章 命题逻辑基本的 概念 离散数学及其应用课件.ppt

  1. 1、本文档共33页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  5. 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  6. 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  7. 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  8. 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
第一章 命题逻辑基本的 概念 离散数学及其应用课件.ppt

离散数学 及其应用 1 2 主要内容 命题逻辑基本概念 命题逻辑等值演算 命题逻辑的推理理论 一阶逻辑基本概念 一阶逻辑等值演算 第一部分 数理逻辑 3 第一章 命题逻辑基本概念 主要内容 命题与联结词 命题及其分类 联结词与复合命题 命题公式及其赋值 4 命题与真值 命题:判断结果惟一的陈述句 命题的真值:判断的结果 真值的取值:真与假 真命题与假命题 注意: 感叹句、祈使句、疑问句都不是命题 陈述句中的悖论,判断结果不惟一确定的不是命题 1.1 命题与联结词 5 假命题 命题概念 真命题 不是命题 不是命题 不是命题 不是命题 命题,但真值现在不知道 8 例2 将下列命题符号化. (1) 吴颖既用功又聪明. (2) 吴颖不仅用功而且聪明. (3) 吴颖虽然聪明,但不用功. (4) 张辉与王丽都是三好生. (5) 张辉与王丽是同学. 合取联结词的实例 9 解 令p:吴颖用功, q:吴颖聪明 (1) pq (2) pq (3) pq (4) 设p:张辉是三好生, q:王丽是三好生 pq (5) p:张辉与王丽是同学 (1)—(3) 说明描述合取式的灵活性与多样性 (4)—(5) 要求分清 “与” 所联结的成分 合取联结词的实例 10 例3 将下列命题符号化 (1) 2 或 4 是素数. (2) 2 或 3 是素数. (3) 4 或 6 是素数. (4) 小元元只能拿一个苹果或一个梨. (5) 王小红生于 1975 年或 1976 年. 析取联结词 定义1.3 设p, q为两个命题,复合命题“p或q”称作p与q的析取式,记作p∨q,∨称作析取联结词. 规定p∨q为假当且仅当p与q同时为假. 11 解 (1) 令p:2是素数, q:4是素数, pq (2) 令p:2是素数, q:3是素数, pq (3) 令p:4是素数, q:6是素数, pq (4) 令p:小元元拿一个苹果, q:小元元拿一个梨 (pq)(pq) (5) p:王小红生于 1975 年, q:王小红生于1976 年, (pq)(pq) 或 pq (1)—(3) 为相容或 (4)—(5) 为排斥或, 符号化时(5)可有两种形式,而(4)则不能 析取联结词的实例 12 定义1.4 设p, q为两个命题,复合命题“如果p, 则q”称作p与q的蕴涵式,记作pq,并称p是蕴涵式的前件,q为蕴涵式的后件,称作蕴涵联结词. 规定:pq为假当且仅当p为真q为假. 蕴涵联结词 (1) pq 的逻辑关系:q为 p 的必要条件, p是q的充分条件. (2) “如果 p, 则 q” 有很多不同的表述方法: 若p,就q 只要p,就q p仅当q 只有q 才p 除非q, 才p 或 除非q,否则非p,…. (3) 当 p 为假时,pq恒为真,称为空证明 (4) 常出现的错误:分不清充分条件与必要条件 13 例4 设 p:天冷,q:小王穿羽绒服,将下列命题符号化 (1) 只要天冷,小王就穿羽绒服. (2) 因为天冷,所以小王穿羽绒服. (3) 若小王不穿羽绒服,则天不冷. (4) 只有天冷,小王才穿羽绒服. (5) 除非天冷,小王才穿羽绒服. (6) 除非小王穿羽绒服,否则天不冷. (7) 如果天不冷,则小王不穿羽绒服. (8) 小王穿羽绒服仅当天冷的时候. 蕴涵联结词的实例 pq 注意: p q 与 qp 等值(真值相同) pq pq qp qp pq pq qp 14 定义1.5 设 p, q为两个命题,复合命题“p当且仅当q”称作p与q的等价式,记作pq,称作等价联结词. 规定pq为真当且仅当p与q同时为真或同时为假. pq 的逻辑关系:p与q互为充分必要条件 等价联结词 例5 求下列复合命题的真值 (1) 2 + 2 = 4 当且仅当 3 + 3 = 6. (2) 2 + 2 = 4 当且仅当 3 是偶数. (3) 2 + 2 = 4 当且仅当 太阳从东方升起. (4) 2 + 2 = 4 当且仅当 美国位于非洲. (5) 函数 f (x) 在 x0 可导的充要条件是 它在 x0 连续. 1 0 0 1 0 15 本小节中p, q, r, … 均表示命题. 小 结 联结词的运算顺序:, , , , , 同级从左到右顺序进行. ( )最先, 按从内到外顺序进行. 16 1.2 命题公式及其赋值 命题变项与合式公式 命题变项 合式公式 合式公式的

文档评论(0)

yuzongxu123 + 关注
实名认证
文档贡献者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档