g3.1006简易逻辑与充要条件1_第1页
g3.1006简易逻辑与充要条件1_第2页
g3.1006简易逻辑与充要条件1_第3页
全文预览已结束

下载本文档

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

文档简介

g3.1006简易逻辑与充要条件(1) 一、 知识回顾1、命题的定义:可以判断真假的语句叫做命题。2、逻辑联结词、简单命题与复合命题:“或”、“且”、“非”这些词叫做逻辑联结词;不含有逻辑联结词的命题是简单命题;由简单命题和逻辑联结词“或”、“且”、“非”构成的命题是复合命题。构成复合命题的形式:p或q(记作“pq” );p且q(记作“pq” );非p(记作“q” ) 。3、“或”、 “且”、 “非”的真值判断(1)“非p”形式复合命题的真假与P的真假相反;(2)“p且q”形式复合命题当P与q同为真时为真,其他情况时为假;(3)“p或q”形式复合命题当p与q同为假时为假,其他情况时为真4、常用正面词语的否定如下表:正面词语否定正面词语否定等于不等于任意的某个小于不小于(大于或等于)所有的某些大于不大于(小于或等于)至多有一个至少有两个是不是至少有一个一个也没有都是不都是(至少有一个不是)5、四种命题的形式:原命题:若P则q; 逆命题:若q则p;否命题:若P则q;逆否命题:若q则p。(1)交换原命题的条件和结论,所得的命题是逆命题; (2)同时否定原命题的条件和结论,所得的命题是否命题; (3)交换原命题的条件和结论,并且同时否定,所得的命题是逆否命题6、四种命题之间的相互关系:一个命题的真假与其他三个命题的真假有如下三条关系:(原命题逆否命题)、原命题为真,它的逆命题不一定为真。、原命题为真,它的否命题不一定为真。、原命题为真,它的逆否命题一定为真。7、如果已知pq那么我们说,p是q的充分条件,q是p的必要条件。若pq且qp,则称p是q的充要条件,记为pq.8、反证法:从命题结论的反面出发(假设),引出(与已知、公理、定理)矛盾,从而否定假设证明原命题成立,这样的证明方法叫做反证法。二、基本训练1(05天津卷)给出下列三个命题若,则若正整数m和n满足,则设为圆上任一点,圆O2以为圆心且半径为1.当时,圆O1与圆O2相切其中假命题的个数为( B )A0 B1 C2 D32.(05湖北卷)对任意实数a,b,c,给出下列命题:“”是“”充要条件;“是无理数”是“a是无理数”的充要条件“ab”是“a2b2”的充分条件;“a5”是“a0;如果x2,那么就是有理数;如果x0,那么就有意义.一定是命题的说法是( ) (A) (B) (C) (D) .例2.设有两个命题:(1)关于x的不等式x2+(a1)x+a20的解集是R;(2)f(x)=是减函数.且(1)和(2)至少有一个为真命题, 求实数a的取值范围.例3. 已知,若p 是q的必要不充分条件,求实数m的取值范围.四、课堂练习1.(04年广州综合测试)设命题p:4x-31;命题q:。若非p是非q的必要而不充分条件,则实数a的取值范围是 。2.(04年黄冈二轮)设x、y、z中有两条

温馨提示

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

评论

0/150

提交评论