第一章常用逻辑用语复习小结课件

本章知识结构:常用逻辑用语命题及其关系全称量词存在量词充分条件必要条件充要条件简单的逻辑联结词:且、或、非四种命题:原命题、逆命题、否命题、逆否命题.1.原命题与逆否命题同真同假.2.证明一个命题,可以考虑证它的逆否命题来间接证明.1.pq说p是q的充分条件,q是p的必要条件.2.pq说p与q互为充要条件.知道命题的特征.能准确写出命题的否定.重要考点常用逻辑用语复习小结：注:(1)“互为”的;(2)原命题与其逆否命题同真同假.(3)逆命题与否命题同真同假.原命题若p,则q逆否命题若q,则p否命题若p,则q逆命题若q,则p互逆互否互否互逆互为逆否同真同假一、四种命题形式及其关系二、充分条件、必要条件的判定对于充分条件和必要条件，要能够正确地理解和判断(2)从命题的角度去理解．设原命题为“若p，则q”，则①若原命题为真，则p是q的．②若逆命题为真，则p是q的．③若原命题和逆命题都为真，则p是q的.④若原命题为真而逆命题为假，则p是q的.⑤若原命题为假而逆命题为真，则p是q的．⑥若原命题和逆命题都为假，则p是q的.充分条件必要条件充要条件充分不必要条件必要不充分件既不充分也不必要条件(1)从概念的角度去理解．①若pq，则称p是q的充分条件，q是p的必要条件．②若pq，则p是q的充要条件．③若pq，且qp，则称p是q的充分不必要条件．④若pq，且qp，则称p是q的必要不充分条件．⑤若pq，且qp，则称p是q的既不充分也不必要条件(3)从集合的角度去理解．若p以集合A的形式出现，q以集合B的形式出现，即A={x|p(x)}，B={x|q(x))，则①若AB，则p是q的．②若BA，则p是q的．③若A=B，则p是q的．④若AB且BA，即AB,则p是q的．⑤若BA且AB，即BA,则p是q的．⑥若AB且BA，则p是q的.充分条件必要条件充要条件充分不必要条件必要不充分条件既不充分也不必要条件二、充分条件、必要条件的判定≠≠同步练习1.A2.C3.B二、充分条件、必要条件的判定4.设p：实数x满足x2-4ax+3a20，其中a0；q：实数x满足x2-x-6≤0或x2+2x-80，且¬P是¬q的必要不充分条件，求a的取值范围．也就是pq且qp．化简条件p得，A={x|3axa,a0}化简条件q得，B={x|x-4或x≥-2}分析：本题可依据四种命题间的关系进行等价转化．解：由¬P是¬q的必要不充分条件，转化成它的逆否命题q是P的必要不充分条件，即P是q的充分不必要条件，二、充分条件、必要条件的判定•“或”p∨q•“且”p∧q•“非”┐pBxAxxBA或ABxxAxB且AxUxxA且⑵“p且q”→p、q全真才真，一假则假.注:⑴“p或q”→p、q中一真则真，全假才假.⑶“p”→p的全盘否定，p与p真假相反.三、逻辑联结词即“全称命题”的否定是“特称命题”它的否定p:,()xMpx.判断真假：全称命题为假,只要找一个反例即可;四、全称量词与存在量词1.全称量词符号：短语“对所有的”“对任意一个”“一切”“每一个”“任给”“所有的”2.全称命题符号：xM,p(x).读作：对任意x属于M，有p(x)成立.3.存在量词符号：短语“存在一个”“至少有一个”“有些”“有一个”“对某个”“有的”等.4.特称命题(存在命题)符号：xM，p(x).读作：存在M中一个x，使p(x)成立.四、全称量词与存在量词真假判断：有一个成立，则特称命题为真命题；一个也没有，则特称命题为假命题.即“特称命题”的否定是“全称命题”.,()xMpx它的否定┐p:特别注意对一些词语的否定词语否定词语否定等于不等于任意的某个大于不大于所有的某些小于不小于且或是不是都是不都是至多有一个至少有两个至多有n个至少有(n+1)个至少有一个一个都没有至少有n个至多有(n-1)个“非p”→p的全盘否定.特别注意!四、全称量词与存在量词1.有下列四个命题:①“||3x若，则33xx或”的逆命题;②命题“a、b都是偶数，则a＋b是偶数”的逆否命题是“a＋b不是偶数，则a、b都不是偶数”;③若有命题p：7≥7，q:ln2＞0,则p且q是真命题;④若一个命题的否命题为真，则它的逆命题一定是真.其中真命题为()(A)①④(B)②③(C)②④(D)③④2.命题：“若220xx,则x≠–1且x≠2”的否命题是_______.D若220xx,则1x或2x.练习一：基础概念的理解1.设甲、乙、丙是三个命题,如果甲是乙的必要条件,丙是乙的充分条件但不是乙的必要条件,那么丙是甲的()(A)充分条件不必要条件(B)必要条件不充分条件(C)充要条件(D)既不充分也不必要条件2.若不等式1x＜a成立的充分条件是40x，则a的取值范围是.3.设集合{(,),},{(,)20},UxyxRyRAxyxym{(,)0Bxyxyn≤求证:“点P(2,3)∈A∩(ðUB)”的充要条件是“m-1且n5”a≥3练习二：巩固提高A证明:∵点P(2,3)∈A∩(ðUB)P(2,3)∈A且P(2,3)∈ðUB3.设集合{(,),},{(,)20},UxyxRyRAxyxym{(,)0Bxyxyn≤求证:“点P(2,3)∈A∩(ðUB)”的充要条件是“m-1且n5”.∴“点P(2,3)∈A∩(ðUB)”的充要条件是“m-1且n5”2230230mn即m-1且n51.已知命题p:方程2320xx的根是x=2;命题q:方程2320xx的根是x=1,则命题pq或为____________.2.写出命题“a、b、cR，若122bax，122cby，122acz，则x、y、z中至少有一个不小于0”的否定为____________________.3.设命题p：函数)161lg()(2axaxxf的定义域为R；命题q：不等式axx112对一切正实数均成立.如果命题p或q为真命题，命题p且q为假命题，求实数a的取值范围.3答案方程2320xx的根是x=2或是x=1a、b、cR，若221xab，221ybc，221zca，则x、y、z三个都小于0”练习三:综合运用3.解：命题p为真命题21()lg()16fxaxxaR函数的定义域为22010116104aaxxaxa对任意实数均成立2.a2.pa命题为真命题211qxax又命题为真命题对一切正实数均成立21122(211)211xxaxxxxx对一切正实数均成立20,211,2112,1.(8211xxxx由于分)1.(10qa命题的真命题≥分)∵根据题意知，命题p与q为有且只有一个是真命题，当命题p为真命题且命题q为假命题时a不存在；当命题p为假命题且命题q为真命题时a的取值范围是[1，2].综上，命题p或q为真命题，命题p且q为假命题时实数a的取值范围是[1，2](12分)