网站大量收购闲置独家精品文档,联系QQ:2885784924

命题与简单逻辑关系命与简单逻辑关系.ppt

  1. 1、本文档共36页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
命题与简单逻辑关系命与简单逻辑关系

充分条件与必要条件 p:x1 q:x0 p:下雨了 q:地面湿了 对于两个相对独立的命题p和q,如果我们以命题p作为已知条件,从p出发能够证明命题q是正确的,我们就说命题p是命题q的充分条件,而命题q是命题p的必要条件。 · 充分必要条件 p:两三角形三边相等 q:两三角形全等 对于两个相对独立的命题p和q,如果p能推导出q,同时q也能推导出p,我们把p叫做是q的充分必要条件,同理,q也是p的充分必要条件。用符号表示: 充分而不必要条件 对于两个相对独立的命题p和q,如果p能推导出q,但是q不能推导出p,我们把p叫做是q的充分而不必要条件,把q叫做是p的必要而不充分条件。 充分条件、必要条件、充要条件的判断 定义法 若p q,但q p,则p是q的充分而不必要件; 若q p,但p q,则p是q的必要而不充分件; 若p q且q p,则p是q的充要条件; 若p q且q p,则p是q的既不充分也不必要条件。 集合法 首先建立与p,q相应的集合, 即p:A={x|p(x)};q:B={x|q(x)}. 若A B,则p是q的充分条件;q是p的必要条件; 若A B,则p是q的充分而不必要条件;q是p的必要而不充分条件; 若A=B,则p是q的充要条件; 若A B,B A,则p是q的既不充分也不必要条件. (2014浙江卷)3.已知a,b是实数,则“| a+b |=| a |+| b |”是“ab>0”的( ) A.充分不必要条件 B.必要不充分条件 C.充分必要条件 D.既不充分也不必要条件 由| a+b |=| a |+| b |可得:a与b同号,或者a=b=0 所以| a+b |=| a |+| b |时,ab0不一定成立,必要,而当ab0时,| a+b |=| a |+| b |一定满足,不充分,综上:选B 要看清谁是条件,谁是结论。 弄清楚哪个证明哪个,学会找反例。 (08年浙江卷)3.已知a,b都是实数,那么“a2b2”是“ab”的( ) A.充分而不必要条件 B.必要而不充分条件 C.充分必要条件 D.既不充分也不必要条件 a2b2 |a||b| 所以无法证明ab 同理,ab也无法证明a2b2 综上:选D (09年浙江卷)2.已知a,b是实数,则“a0且b0”是“a+b0且ab0”的( ) A.充分而不必要条件 B.必要而不充分条件 C.充分必要条件 D.既不充分也不必要条 a0且b0,a+b0满足,因为a,b同号,所以ab0,充分 ab0,说明a,b同号,因为a+b0,所以a0且b0,必要 综上:选B 命题与简单逻辑关系 何东晓下列句子中,你能判断它们的真假吗? 若直线a∥b,则直线a和直线b无公共点。 中国国足进入过世界杯。 刘翔是世界冠军吗? x6 我爱你。 96 你好帅啊! 命题的概念 用语言、符号或式子表达的,可以判断真假的陈述句叫做命题。 判断为真的语句叫做真命题。 判断为假的语句叫做假命题。 理解: 命题定义的核心是判断,切记:判断的标准必须确定,判断的结果可真可假,但真假必居其一。 观察下列命题,判断它们的真假 空集是任何集合的子集 真命题 若整数a是素数,则a是奇数 假命题 假命题 二次函数的图像是一条抛物线。 真命题 判断一个语句是不是命题,关键看这语句是否符合“是陈述句”和“可以判断真假” 这两个条件。 命题的构成 通常,我们把命题表示为“若p,则q”的形式,p叫做命题的条件,q叫做命题的结论。 “若p则q”形式的命题是命题的一种形式而不是唯一的形式,也可写成“如果p,那么q” “只要p,就有q”等形式。 “若p则q”形式的命题的优点是条件与结论容易辨别。 如果明天下雨,那么我们不上课。 解:1) 条件p: 结论q: 明天下雨 我们不上课 所有的同学都迟到了。 命题的构成 我们班的同学都考上了美院。 有人没来上课 我们把这一类命题叫做全称存在量词型命题 符号 为全称量词,表示任意一个; 符号 为存在量词,表示存在一个。 若原命题为:若p,则q 则它的逆命题为:若q,则p 例:求命题“若a=0,则ab=0”的逆命题 逆命题 若ab=0,则a=0 对于两个命题,如果一个命题的条件和结论分别是另一个命题的结论和条件,那么我们把这样的两个命题叫做互逆命题,其中一个命题叫原命题,另一个叫做原命题的逆命题。 因此若原命题为“若p,则q”, 则否命题为:若 p,则 q” 例:若a=0,则ab=0否命题为: 若a≠0,则ab≠0. 否命题 一般地,把条件p,

文档评论(0)

ganqludp + 关注
实名认证
内容提供者

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

1亿VIP精品文档

相关文档