第一章常用逻辑用语复习课讲解.pptVIP

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  4. 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  5. 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  6. 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  7. 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
知识网络 * * 常用逻辑用语 命题及其关系 简单的逻辑联结词 全称量词与存在量词 四种命题 充分条件与必要条件 量词 全称量词 存在量词 含有一个量词的否定 或 且 非 一、命题的概念 我们把用语言、符号或式子表达的,可以判断真假的陈述句称为命题. 判断为假的语句称为假命题. 其中判断为真的语句称为真命题, 二、“若p,则q”形式的命题 也可写成 “如果P,那么q” 的形式 也可写成 “只要P,就有q” 的形式 若p 则q。 逆否命题: 原命题: 逆命题: 否命题: 若q 则p。 若? p 则? q。 若? q 则? p。 思考:要写出一个命题的另外三个命题关键是什么? 分清命题的题设和结论,即把原命题写成“若p则q”的形式。 1、四种命题的形式: 2、命题的否定: 如果原命题为: “若p,则q” 那么原命题的否定为: “若p,则﹁ q” 注意: (1)“或”的否定为 且 (2)“且”的否定为 或 (3)“都”的否定为 不都 3、四种命题之间的 关系 原命题 若p则q 逆命题 若q则p 否命题 若﹁p则﹁q 逆否命题 若﹁q则﹁p 互逆 互否 互否 互逆 4、四种命题的真假 公理:四种命题的真假性之间的关系 (1)两个命题互为逆否命题,它们有相同的真假性; (2)两个命题为互逆命题或互否命题,它们的真假性没有关系。 一般地,四种命题的真假性,有而且仅有下面四种情况: 逆否命题 否命题 逆命题 原命题 真 假 真 真 真 真 真 真 真 假 假 假 假 假 假 假 在判断四种命题的真假时,只需判断两种命题的真假。因为逆命题与否命题真假等价,逆否命题与原命题真假等价。 1.2.1 充分条件与必要条件 3、一般地,如果“若p,则q”为真命题,即 ,那么我们就说, p是q的充分条件, q是p的必要条件。 1、一般地,“若p,则q”为真命题,是指由p通过推理可以得出q.这时,我们说: 2、一般地,“若p,则q”为假命题,是指由p通过推理不能 得出q.这时,我们说: 一. 充分条件与必要条件 1.充分而不必要条件 则称p是q的充分而不必要条件 二、p,q之间的逻辑关系 2.必要而不充分条件 则称p是q的必要而不充分条件 3.充分必要条件 则称p是q的充分必要条件, 简称充要条件 4.既不充分也不必要条件 则称p是q的既不充分也不必要条件, 设集合A是使命题p为真命题的元素所组成的集合, 三、用集合法判断p与q的逻辑关系 集合B 是使命题q为真命题的元素所组成的集合, 结论 图示 关系 记法 p是q的充分而不必要条件 p是q的必要而不充分条件 p是q的充要条件 p是q的既不充分也不必要条件 1.3 简单的逻辑联结词 不含逻辑联结词的命题叫做简单命题。 由简单命题与逻辑联结词构成的命题叫做复合命题 1、简单命题 2、复合命题 一、由“且”构成的复合命题 一般地,用联结词“且”把命题p和命题q联结起来,就得到一个新命题,记作p∧q,读作“p且q” 一般地,我们规定: 当p,q都是真命题时,p∧q是真命题; 当p,q 两个命题中有一个命题是假命题时,p∧q是假命题。 二、由“或”构成的复合命题 一般地,用联结词“或”把命题p和命题q联结起来,就得到一个新命题,记作p ∨ q,读作“p或q” 一般地,我们规定: 当p,q 两个命题中有一个命题是真命题时, p ∨ q是真命题。 当p,q 两个命题都是假命题时,p ∨ q是假命题。 三、由“非”构成的复合命题 一般地,对一个命题p全盘否定,就得到一个新命题,记作? p,读作“非p”或“p的否定”。 一般地,我们规定: 若p是真命题,则?p必是假命题, 若p是假命题,则?p必是真命题。 四、复合命题的真假可用如下真值表来表示: 真 假 假 假 假 真 真 假 真 假 假 真 假 假 真 假 真 真 真 真 ?p p ∨q p∧q q p 短语“所有的”“任意一个” 在逻辑中通常叫做全称量词.用符号“  ”表示。 含有全称量词的命题, 常见的全称量词还有“一切” “每一个” “任给”等. 一、 全 称 量 词 叫做全称命题。 1.4 全称量词与存在量词 二、 全称命题的符号表示 全称命题“对M中任意一个x,有p(x)成立”可用符号简记为 要判断一个全称命题为真,必须对在给定集合的每一个元素x,使命题p(x)为真; 思考: 如何判定一个全称命题的真假? 但要判断一个全称命题为假时,只要在给定的集合中找到一个元素x0,使命题p(x0)为假。 短语“存在一个”“至少有一个” 在逻辑中通常叫做存在量词.用符号“  ”表示。 含有存在量词的命题, 常见的存在量词还有“有些” “有一个” “对某

文档评论(0)

三沙市的姑娘 + 关注
实名认证
文档贡献者

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

1亿VIP精品文档

相关文档