欢迎来到天天文库
浏览记录
ID:50937294
大小:286.16 KB
页数:7页
时间:2020-03-16
《简单的逻辑联结词、全称量词与存在量词学案.doc》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库。
1、学案3 简单的逻辑联结词、全称量词与存在量词导学目标:1.了解逻辑联结词“或、且、非”的含义.2.理解全称量词与存在量词的意义.3.能正确地对含有一个量词的命题进行否定.自主梳理1.逻辑联结词命题中的或,且,非叫做逻辑联结词.“p且q”记作p∧q,“p或q”记作p∨q,“非p”记作綈p.2.命题p∧q,p∨q,綈p的真假判断pqp∧qp∨q綈p真真真真假真假假真假假真假真真假假假假真3.全称量词与存在量词(1)短语“所有的”“任意一个”在逻辑中通常叫做全称量词,并用符号“∀”表示.含有全称量词的命题,叫做全称命题,可用符号简记为∀x∈M,p(x),它的否定∃x∈M
2、,綈p(x).(2)短语“存在一个”“至少有一个”在逻辑中通常叫做存在量词,并用符号“∃”表示.含有存在量词的命题,叫做特称命题,可用符号简记为∃x∈M,p(x),它的否定∀x∈M,綈p(x).自我检测1.命题“∃x∈R,x2-2x+1<0”的否定是( )A.∃x∈R,x2-2x+1≥0B.∃x∈R,x2-2x+1>0C.∀x∈R,x2-2x+1≥0D.∀x∈R,x2-2x+1<0答案 C解析 因要否定的命题是特称命题,而特称命题的否定为全称命题.对x2-2x+1<0的否定为x2-2x+1≥0,故选C.2.若命题p:x∈A∩B,则綈p是( )A.x∈A且xBB
3、.xA或xBC.xA且xBD.x∈A∪B答案 B解析 ∵“x∈A∩B”⇔“x∈A且x∈B”,∴綈p:xA或xB.3.(2011·大连调研)若p、q是两个简单命题,且“p∨q”的否定是真命题,则必有( )A.p真q真B.p假q假C.p真q假D.p假q真答案 B解析 ∵“p∨q”的否定是真命题,∴“p∨q”是假命题,∴p,q都假.4.(2010·湖南)下列命题中的假命题是( )A.∀x∈R,2x-1>0B.∀x∈N*,(x-1)2>0C.∃x∈R,lgx<1D.∃x∈R,tanx=2答案 B解析 对于B选项x=1时,(x-1)2=0.5.(2009·辽宁)下列4个
4、命题:p1:∃x∈(0,+∞),()x<()x;p2:∃x∈(0,1),logx>logx;p3:∀x∈(0,+∞),()x>logx;p4:∀x∈(0,),()x1,p4正确.探究点一 判断含有逻辑联结词的命题的真假例1 写出由下列各组命题构成的“p∨q”、“p∧q”、“綈p”形式的复合命题,并判断真假.(1)p:1是素数;q:1是方程x2+2x-3=0的根;
5、(2)p:平行四边形的对角线相等;q:平行四边形的对角线互相垂直;(3)p:方程x2+x-1=0的两实根的符号相同;q:方程x2+x-1=0的两实根的绝对值相等.解题导引 正确理解逻辑联结词“或”、“且”、“非”的含义是解题的关键,应根据组成各个复合命题的语句中所出现的逻辑联结词进行命题结构与真假的判断.其步骤为:①确定复合命题的构成形式;②判断其中简单命题的真假;③根据其真值表判断复合命题的真假.解 (1)p∨q:1是素数或是方程x2+2x-3=0的根.真命题.p∧q:1既是素数又是方程x2+2x-3=0的根.假命题.綈p:1不是素数.真命题.(2)p∨q:平行
6、四边形的对角线相等或互相垂直.假命题.p∧q:平行四边形的对角相等且互相垂直.假命题.綈p:有些平行四边形的对角线不相等.真命题.(3)p∨q:方程x2+x-1=0的两实根的符号相同或绝对值相等.假命题.p∧q:方程x2+x-1=0的两实根的符号相同且绝对值相等.假命题.綈p:方程x2+x-1=0的两实根的符号不相同.真命题.变式迁移1 (2011·厦门月考)已知命题p:∃x∈R,使tanx=1,命题q:x2-3x+2<0的解集是{x
7、18、是假命题,其中正确的是( )A.②③B.①②④C.①③④D.①②③④答案 D解析 命题p:∃x∈R,使tanx=1是真命题,命题q:x2-3x+2<0的解集是{x9、1.(2)∃α,β使cos(α-β)=cosα-cosβ.(3)∀x,y∈N,都有x-y∈N.(4)∃x0,y0∈Z,使得x0+y0=3.解题导引 判定一个全(特)称命题的真10、假的方法:
8、是假命题,其中正确的是( )A.②③B.①②④C.①③④D.①②③④答案 D解析 命题p:∃x∈R,使tanx=1是真命题,命题q:x2-3x+2<0的解集是{x
9、1.(2)∃α,β使cos(α-β)=cosα-cosβ.(3)∀x,y∈N,都有x-y∈N.(4)∃x0,y0∈Z,使得x0+y0=3.解题导引 判定一个全(特)称命题的真
10、假的方法:
此文档下载收益归作者所有