北师大版高中数学选修2-1《常用逻辑用语》常用逻辑用语小结与复习

北师大版高中数学选修2-1第一章?常用逻辑用语?常用逻辑用语小结与复习法门高中姚连省制作1知识网络

常用逻辑用语命题及其关系简单的逻辑联结词全称量词与存在量词四种命题充分条件与必要条件量词全称量词存在量词含有一个量词的否定或且非或并集交集补集运算2命题的形式：“假设P,那么q〞也可写成“如果P,那么q〞的形式也可写成“只要P,就有q〞的形式通常,我们把这种形式的命题中的P叫做命题的条件,q叫做结论.记做:用语言、符号或式子表达的，可以判断真假的陈述句称为命题．1.1.1命题其中判断为真的语句称为真命题，判断为假的语句称为假命题．3一个符号条件Ｐ的否认，记作“Ｐ〞。读作“非Ｐ〞。假设p那么q逆否命题：原命题：逆命题：否命题：假设q那么p假设p那么q假设q那么p二、四种命题4结论1：要写出一个命题的另外三个命题关键是分清命题的题设和结论〔即把原命题写成“假设P那么Q〞的形式〕注意：三种命题中最难写的是否命题。结论2：〔1〕“或〞的否认为“且〞，〔2〕“且〞的否认为“或〞，〔3〕“都〞的否认为“不都〞。5三、四种命题之间的关系原命题假设p那么q逆命题假设q那么p否命题假设﹁p那么﹁q逆否命题假设﹁q那么﹁p互逆互否互否互逆互为逆否6〔2〕假设其逆命题为真，那么其否命题一定为真。但其原命题、逆否命题不一定为真。

(1)原命题与逆否命题同真假。(2)原命题的逆命题与否命题同真假。〔1〕原命题为真，那么其逆否命题一定为真。但其逆命题、否命题不一定为真。四、命题真假性判断结论：7反证法的一般步骤：假设命题的结论不成立,即假设结论的反面成立；

从这个假设出发，经过推理论证，得出矛盾；

(3)由矛盾判定假设不正确，从而肯定命题的结论正确。

反设归谬结论反证法8充要条件9如果命题“假设p那么q〞为假，那么记作pq。如果命题“假设p那么q〞为真，那么记作pq〔或qp〕。定义:如果,那么说p是q的充分条件,q是p的必要条件10pq，相当于Pq，

即Pq或P、q

从集合角度理解：1112①认清条件和结论。②考察pq和qp的真假。①可先简化命题。③将命题转化为等价的逆否命题后再判断。②否认一个命题只要举出一个反例即可。6判别步骤：7判别技巧：判别充要条件问题的13充要条件定义:称:p是q的充分必要条件,简称充要条件显然,如果p是q的充要条件,那么q也是p的充要条件p与q互为充要条件(也可以说成〞p与q等价〞)141、充分且必要条件2、充分非必要条件3、必要非充分条件4、既不充分也不必要条件各种条件的可能情况152、从逻辑推理关系看充分条件、必要条件:充分非必要条件必要非充分条件1）AB且BA，则A是B的2）若AB且BA，则A是B的3）若AB且BA，则A是B的既不充分也不必要条件充分且必要条件4）AB且BA，则A是B的163、从集合与集合的关系看充分条件、必要条件3）若AB且BA，则甲是乙的2)若AB且BA，则甲是乙的1）若AB且BA，则甲是乙的充分非必要条件必要非充分条件既不充分也不必要条件一般情况下假设条件甲为ｘ∈Ａ，条件乙为ｘ∈Ｂ4〕假设A=B，那么甲是乙的充分且必要条件。171.在判断条件时，要特别注意的是它们能否互相推出，切不可不加判断以单向推出代替双向推出.注意点2.搞清①A是B的充分条件与A是B的充分非必要条件之间的区别与联系；②A是B的必要条件与A是B的必要非充分条件之间的区别与联系３、注意几种方法的灵活使用：

定义法、集合法、逆否命题法182：填写“充分不必要，必要不充分，充要，既不充分又不必要。1〕sinA>sinB是A>B的___________条件。2〕在ΔABC中，sinA>sinB是A>B的________条件。既不充分又不必要充要条件注、定义法〔图形分析〕193、a＞b成立的充分不必要的条件是〔〕A.ac＞bcB.a/c＞b/cC.a+c＞b+cD.ac2＞bc2D4.关于x的不等式：｜x｜+｜x-1｜＞m的解集为R的充要条件是()(A)m＜0(B)m≤0(C)m＜1(D)m≤1C20练习2、1、设集合M={x|x>2},N={x|x<3},那么〞x∈M或x∈N〞是“x∈M∩N〞的A.充要条件B必要不充分条件C充分不必要D不充分不必要B注、集合法2、a∈R,|a|<3成立的一个必要不充分条件是A.a<3B.|a|<2C.a2<9D.0<a<2A211.p是q的必要而不充分条件，那么┐p是┐q的_______________.练习3、充分不必要条件注、等价法〔转化为逆否命题〕2：假设┐A是┐B的充要条件,┐C是┐B的充要条件,那么A为C的〔〕条件A.充要B必要不充分C充分不必要D不充分不必要Ａ22集合法与转化法1.P：｜2x-3｜＞1；q：1/(x2+x-6)＞0，那么┐p是┐q的()(A)充分不必要条件(B)必要不充分条件(C)充要条件(D)既不充分也不必要条件2、p：|x+1|＞2，q：x2＜5x－6,那么非p是非q的〔〕A.充分不必要条件B.必要不充分条件C.充要条件D.既非充分又非必要条件练习4、AA23我们再来看几个复杂的命题:(1)10可以被2或5整除.(2)菱形的对角线互相垂直且平分.(3)0.5非整数.“或〞,“且〞,“非〞称为逻辑联结词.含有逻辑联结词的命题称为复合命题,不含逻辑联结词的命题称为简单命题.复合命题有以下三种形式:(1)P且q.(2)P或q.(3)非p.241.3.1逻辑联结词

或、且、非25一般地,用逻辑联结词〞且〞把命题p和命题q联结起来.就得到一个新命题,记作

读作〞p且q〞.26规定:当p,q都是真命题时,是真命题;当p,q两个命题中有一个命题是假命题时,是假命题.全真为真,有假即假.pq27一般地,用逻辑联结词〞或〞把命题p和命题q联结起来.就得到一个新命题,记作规定:当p,q两个命题中有一个是真命题时,是真命题;当p,q两个命题中都是假命题时,是假命题.28pq当p,q两个命题中有一个是真命题时,是真命题;当p,q两个命题都是假命题时,是假命题.开关p,q的闭合对应命题的真假,那么整个电路的接通与断开分别对应命题的真与假.29一般地,对一个命题p全盘否认,就得到一个新命题,记作

若p是真命题,则必是假命题;若p是假命题,则必是真命题.读作〞非p〞或〞p的否认〞30“非〞命题对常见的几个正面词语的否认.正面=>是都是至多有一个至少有一个任意的所有的否定≠≤不是不都是至少有两个没有一个某个某些311.4全称量词与

存在量词32短语〞对所有的〞〞对任意一个〞在逻辑中通常叫做全称量词,并用符号“〞表示.含有全称量词的命题,叫做全称命题,常见的全称量词还有:“对所有的〞,〞对任意一个〞,〞对一切〞,〞对每一个〞,〞任给〞,〞所有的〞等.短语〞对所有的〞〞对任意一个〞在逻辑中通常叫做全称量词,并用符号“〞表示.含有全称量词的命题,叫做全称命题.33符号全称命题〞对M中任意一个x有p(x)成立〞可用符号简记为读作〞对任意x属于M,有p(x)成立〞.341.4.2存在量词35短语〞存在一个〞〞至少有一个〞在逻辑上通常叫做存在量词,并用符号〞〞表示.含有存在量词的命题,叫做特称命题.常见的存在量词还有〞有些〞〞有一个〞〞有的〞〞对某个〞等.36特称命题〞存在M中的一个x,使p(x)成立〞可用符号简记为读做〞存在一个x,使p(x)成立〞.371.4.3含有一个量词的命题的否认38从命题形式上看,这三个全称命题的否