专题01+集合和逻辑+1.2常用逻辑联结词-2018年高考数学(文理通用)一轮复习精品讲义.docxVIP

PAGE \* MERGEFORMAT PAGE \* MERGEFORMAT 1 PAGE 第二节 常用逻辑 1．命题 能判断真假的语句叫做命题． 2．全称量词与全称命题 (1)全称量词：短语“所有”在陈述中表示所述事物的全体，在逻辑中通常叫做全称量词． (2)全称命题：含有全称量词的命题． (3)全称命题的符号表示 形如“对M中所有x，p(x)”的命题，可用符号简记为“?x∈M，p(x)”． 3．存在量词与存在性命题 (1)存在量词：短语“有一个”或“有些”或“至少有一个”在陈述中表示所述事物的个体或部分，逻辑中通常叫做存在量词。 (2)存在性命题：含有全称量词的命题． (3)存在性命题的符号表示 形如“存在集合M中的元素x，q(x)”的命题，用符号简记为 ?x∈M，q(x)。 4．基本逻辑联结词 常用的基本逻辑联结词有“且”、“或”、“非”． 5．命题p∧q，p∨q，p的真假判断 p q p∧q p∨q p 真 真 真 真 假 真 假 假 真 假 假 真 假 真 真 假 假 假 假 真 6．含有一个量词的命题的否定 命题 命题的否定 ?x∈M，p(x) ?x∈M，p(x) ?x∈M，p(x) ?x∈M，p(x) 7．充分条件、必要条件与充要条件 (1)“若p，则q”形式的命题为真时，记作p?q，称p是q的充分条件，q是p的充要条件． (2)如果既有p?q，又有q?p，记作p?q，则p是q的充要条件，q也是p的充要条件． p是q的充要条件又常说成q当且仅当p，或p与q等价． 8．命题的四种形式及真假关系 互为逆否的两个命题等价(同真或同假)；互逆或互否的两个命题不等价． 题型一　含有逻辑联结词的命题的真假判断 例1（1）【2017山东卷，文】已知命题p： SKIPIF 1 0 SKIPIF 1 0 ；命题q：若 SKIPIF 1 0 ，则 SKIPIF 1 0 .下列命题为真命题的是( ) A. SKIPIF 1 0 B. SKIPIF 1 0 C. SKIPIF 1 0 D. SKIPIF 1 0 【答案】B【解析】由 SKIPIF 1 0 时 SKIPIF 1 0 成立知p是真命题,由 SKIPIF 1 0 可知q是假命题,所以 SKIPIF 1 0 是真命题，故选B. 【名师点睛】判断一个命题为真命题,要给出推理证明；判断一个命题是假命题,只需举出反例．根据“原命题与逆否命题同真同假,逆命题与否命题同真同假”这一性质,当一个命题直接判断不易进行时,可转化为判断其等价命题的真假． （2）【2017山东，理3】已知命题p:；命题q：若a＞b，则，下列命题为真命题的是 （A） （B） （C） （D） 【答案】B【解析】试题分析：由时有意义，知p是真命题，由可知q是假命题，即均是真命题，故选B. 跟踪训练1 （1）【2017福建三明5月质检】已知命题若，则恒成立； 的充要条件是．则下列命题为真命题的是（　） A. B. C. D. 【答案】D 【解析】 时， 为假， 为真；又 时， ，而 时，一定有 为假， 为真，据真值表可得 为真，故选D. （2）（2014 湖南理 5）已知命题若，则；命题若，则.在命题①；②；③；④中，真命题是（ ）. A.①③ B.①④ C.②③ D. ②④ 【感悟提升】p且q形式是“一假必假，全真才真”，p或q形式是“一真必真，全假才假”，非p则是“与p的真假相反”． 题型二　含有一个量词命题的否定及真假判定 例2 （1）【2016浙江卷，理】命题“ SKIPIF 1 0 ，使得 SKIPIF 1 0 ”的否定形式是（ ） A． SKIPIF 1 0 ，使得 SKIPIF 1 0 B． SKIPIF 1 0 ，使得 SKIPIF 1 0 C． SKIPIF 1 0 ，使得 SKIPIF 1 0 D． SKIPIF 1 0 ，使得 SKIPIF 1 0 【