常用逻辑用语课件.ppt_第1页
常用逻辑用语课件.ppt_第2页
常用逻辑用语课件.ppt_第3页
常用逻辑用语课件.ppt_第4页
常用逻辑用语课件.ppt_第5页
已阅读5页,还剩6页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

常用逻辑用语,1叫做命题2一般地,设“若p,则q”为原命题,那么“若q,则p”叫做原命题的;“若非p,则非q”叫做原命题的;“若非q,则非p”叫做原命题的3互为逆否命题的两个命题的真假性,一般地,我们把用语言、符号或式子表达的,,能判断真假的陈述语句,逆命题,否命题,逆否命题,相同,4如果pq,则p叫做q的条件原命题(或逆否命题)成立,命题中的条件是充分的,也可称q是p的条件5如果qp,则p叫做q的条件逆命题(或否命题)成立,命题中的条件为必要的,也可称q是p的条件6如果既有,又有,记作pq,则p叫做q的充分必要条件,简称充要条件原命题和逆命题(或逆否命题和否命题)都成立,命题中的条件是充要的,充分,必要,必要,充分,pq,qp,7简单命题与逻辑联结词构成的命题,叫复合命题另外,“若p,则q”组成的命题也叫复合命题如果p、q是简单命题,则p或q,记作;p且q,记作;非p,记作.它们均是复合命题8短语“所有的”“任意一个”在逻辑中通常叫做,并用符号表示含有的命题叫做全称命题9短语“存在一个”“至少有一个”在逻辑中通常叫做,并用符号表示含有的命题叫做特称命题,或、且、非,pq,pq,全称量词,全称量词,存在量词,存在量词,10全称命题p:xM,p(x)它的否定p:全称命题的否定是命题,xM,p(x),特称,考点一四种命题之间的关系【例1】与命题“若mM,则nM”等价的命题是()A若mM,则nMB若nM,则mMC若mM,则nMD若nM,则mM关键提示:原命题与逆否命题是等价的解析:要得到与原命题等价的命题,即原命题的逆否命题,只需将原命题的条件和结论全部否定,然后交换位置可得,所以选D.答案:D,考点二充要条件的证明【例2】求证:关于x的方程ax2bxc0有一个根为1的充要条件是abc0.关键提示:本题要求证“ax2bxc0有一个根为1”的充要条件是“abc0”,可分充分性和必要性来证明证明:充分性:因为abc0,所以a(1)2b(1)c0,所以1是ax2bxc0的一个根必要性:因为ax2bxc0有一个根为1,所以a(1)2b(1)c0,即abc0.综上,关于x的方程ax2bxc0有一个根为1的充要条件是abc0.,考点三全称命题与特称命题【例3】若存在xR,使得x2xa0有解,求实数a的取值范围关键提示:利用二次函数的图象进行分析,【例4】对任意实数x,不等式x2axa0成立,则实数a的取值范围为_解析:由a24a0,得0a4.答案:0a4,【例5】已知命题p:关于x的方程x2mx10有两个不等的负实根;命题q:关于x的方程4x24

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论