常用逻辑用语

常用逻辑用语知识点一：命题1. 定义：一般地，我们把用语言、符号或式子表达的，可以判断真假的语句叫做命题.（1）命题由题设和结论两部分构成. 命题通常用小写英文字母表示，如p,q,r,m,n等. （2）命题有真假之分，正确的命题叫做真命题，错误的命题叫做假命题. 数学中的定义、公理、定理等都是真命题（3）命题“”的真假判定方式：①若要判断命题“”是一个真命题，需要严格的逻辑推理；有时在推导时加上语气词“一定”能帮助判断。

如：一定推出.②若要判断命题“”是一个假命题，只需要找到一个反例即可.注意：“不一定等于3”不能判定真假，它不是命题.2. 逻辑联结词：“或”、“且”、“非”这些词叫做逻辑联结词.（1）不含逻辑联结词的命题叫简单命题，由简单命题与逻辑联结词构成的命题叫复合命题. （2）复合命题的构成形式：①p或q；②p且q；③非p（即命题p的否定）.（3）复合命题的真假判断（利用真值表）：非真真假真真真假假真假假真真真假假假真假假①当p、q同时为假时，“p或q”为假，其它情况时为真，可简称为“一真必真”；②当p、q同时为真时，“p且q”为真，其它情况时为假，可简称为“一假必假”.③“非p”与p的真假相反.注意：（1）逻辑连结词“或”的理解是难点，“或”有三层含义，以“p或q”为例：一是p成立且q不成立，二是p不成立但q成立，三是p成立且q也成立。

可以类比于集合中“或”.（2）“或”、“且”联结的命题的否定形式：“p或q”的否定是“p且q”；“p且q”的否定是“p或q”.（3）对命题的否定只是否定命题的结论；否命题，既否定题设，又否定结论.知识点二：四种命题1. 四种命题的形式：用p和q分别表示原命题的条件和结论，用p和q分别表示p和q的否定，则四种命题的形式为：原命题：若p则q；逆命题：若q则p；否命题：若p则q；逆否命题：若q则p.2. 四种命题的关系①原命题逆否命题.它们具有相同的真假性，是命题转化的依据和途径之一. ②逆命题否命题，它们之间互为逆否关系，具有相同的真假性，是命题转化的另一依据和途径.除①、②之外，四种命题中其它两个命题的真伪无必然联系.命题与集合之间可以建立对应关系，在这样的对应下，逻辑联结词和集合的运算具有一致性，命题的“且”、“或”、“非”恰好分别对应集合的“交”、“并”、“补”，因此，我们就可以从集合的角度进一步认识有关这些逻辑联结词的规定.知识点三：充分条件与必要条件1. 定义：对于“若p 则q ”形式的命题：从逻辑观点上，关于充分不必要条件、必要不充分条件、充分必要条件、既不充分也不必要条件的判定在于区分命题的条件p 与结论q 之间的关系． ①若p q ，则p 是q 的充分条件，q 是p 的必要条件； ②若pq ，但qp ，则p 是q 的充分不必要条件，q 是p 的必要不充分条件；③若q p ⇒且p ≠>q ，则p 是q 成立的必要不充分条件； ④若既有pq ，又有qp ，记作pq ，则p 是q 的充分必要条件（充要条件）；⑤若p ≠>q 且q ≠>p ，则p 是q 成立的既不充分也不必要条件．从集合的观点上，关于充分不必要条件、必要不充分条件、充分必要条件、既不充分也不必要条件的判定在于判断p 、q 相应的集合关系．建立与p 、q 相应的集合，即(){:p A x p x =成立}，(){:q B x q x =成立}．若A B ⊆，则p 是q 的充分条件，若A B ，则p 是q 成立的充分不必要条件；若B A ⊆，则p 是q 的必要条件，若B A ，则p 是q 成立的必要不充分条件；若A B =，则p 是q 成立的充要条件；若A ⊆/B 且B ⊇/A ，则p 是q 成立的既不充分也不必要条件． 2. 理解：（1）在判断充分条件与必要条件时，首先要分清哪是条件，哪是结论；然后用条件推结论，再用结论 推条件，最后进行判断.（2）充要条件即等价条件，也是完成命题转化的理论依据.“当且仅当”、“有且仅有”、“必须且只须”.“等价于”“…反过来也成立”等均为充要条件的同义词语.3. 判断命题充要条件的三种方法（1）定义法：（2）等价法：由于原命题与它的逆否命题等价，否命题与逆命题等价，因此，如果原命题与逆命题真假不好判断时，还可以转化为逆否命题与否命题来判断．即利用与；与；与的等价关系，对于条件或结论是不等关系（或否定式）的命题，一般运用等价法.（3）利用集合间的包含关系判断，比如A B可判断为A B；A=B可判断为A B，且B A，即A B.如图：“”“，且”是的充分不必要条件.“”“”是的充分必要条件.知识点四：全称量词与存在量词1. 全称量词与存在量词（1）全称量词及表示：表示全体的量词称为全称量词。

表示形式为“所有”、“任意”、“每一个”等，通常用符号“”表示，读作“对任意”。

含有全称量词的命题，叫做全称命题。

全称命题“对M中任意一个x，有p(x)成立”可表示为“”，其中M为给定的集合，p(x)是关于x的命题.（2）存在量词及表示：表示部分的量称为存在量词。

表示形式为“有一个”，“存在一个”,“至少有一个”，“有点”,“有些”等，通常用符号“”表示，读作“存在”。

含有存在量词的命题，叫做特称命题特称命题“存在M中的一个x，使p(x)成立”可表示为“”，其中M为给定的集合，p(x)是关于x的命题.2. 对含有一个量词的命题进行否定（1）对含有一个量词的全称命题的否定全称命题p：，他的否定：全称命题的否定是特称命题。

（2）对含有一个量词的特称命题的否定特称命题p：，他的否定：特称命题的否定是全称命题。

注意：（1）命题的否定与命题的否命题是不同的.命题的否定只对命题的结论进行否定（否定一次），而命题的否命题则需要对命题的条件和结论同时进行否定（否定二次）.（2）一些常见的词的否定：正面词等于大于小于是都是一定是至少一个至多一个否定词不等于不大于不小于不是不都是一定不是一个也没有至少两个总结1. 判断复合命题的真假的步骤：①确定复合命题的构成形式；②判断其中简单命题p和q的真假；③根据规定（或真假表）判断复合命题的真假.2. 条件“或”是“或”的关系，否定时要注意.类型一：四种命题及其关系1. 写出命题“已知是实数，若ab=0，则a=0或b=0”的逆命题，否命题，逆否命题，并判断其真假。

解析：逆命题：已知是实数，若a=0或b=0, 则ab=0, 真命题；否命题：已知是实数，若ab≠0，则a≠0且b≠0，真命题；逆否命题：已知是实数，若a≠0且b≠0，则ab≠0，真命题。

总结1.“已知是实数”为命题的大前提，写命题时不应该忽略；2. 互为逆否命题的两个命题同真假；3. 注意区分命题的否定和否命题.类型三：全称命题与特称命题真假的判断1. 要判断一个全称命题是真命题，必须对限定的集合M中每一个元素，验证成立；要判断全称命题是假命题，只要能举出集合M中的一个，使不成立可；2. 要判断一个特称命题的真假，依据：只要在限定集合M中，至少能找到一个，使成立，则这个特称命题就是真命题，否则就是假命题.类型四：充要条件的判断1. 处理充分、必要条件问题时，首先要分清条件与结论；2. 正确使用判定充要条件的三种方法，要重视等价关系转换，特别是与关系.类型五：求参数的取值范围1.由p或q为真，知p、q必有其一为真，由p且q为假，知p、q必有一个为假，所以，“p 假且q真”或“p真且q假”.可先求出命题p及命题q为真的条件，再分类讨论．从认知已知条件切入，将四种命题或充要条件问题向集合问题转化，是解决这类问题的基本策略.类型六：证明1. 利用反证法证明时，首先正确地作出反设（否定结论）.从这个假设出发，经过推理论证，得出矛盾，从而假设不正确，原命题成立，反证法一般适宜结论本身以否定形式出现，或以“至多…”、“至少…”形式出现，或关于唯一性、存在性问题，或者结论的反面是比原命题更具体更容易研究的命题.2. 反证法时对结论进行的否定要正确，注意区别命题的否定与否命题．三、典型例题选讲例1 写出下列命题的逆命题、否命题、逆否命题，并判断它们的真假．（1）已知a ，b ，c 为实数，若0ac <，则20ax bx c ++=有两个不相等的实数根； （2）两条平行线不相交；（3）若220x y +=，则x ，y 全为零．分析：写出一个命题的四种命题形式，关键是分清命题的条件与结论，把命题写成“如果…那么…”的形式，再根据四种命题的定义写出其他三种命题即可．解：（1）原命题是真命题；逆命题：若20ax bx c ++=有两个不相等的实数根，则0ac <，（假）； 否命题：若0ac ≥，则20ax bx c ++=没有两个不相等的实数根，（假）； 逆否命题：若20ax bx c ++=没有两个不相等的实数根，则0ac ≥，（真）． （2）原命题形式可写成：若两条直线平行，则它们不相交，（真）； 逆命题：若两条直线不相交，则它们平行，（假）； 否命题：若两条直线不平行，则它们相交，（假）； 逆否命题：若两条直线相交，则它们不平行，（真）． （3）原命题是真命题；逆命题：若x ，y 全为零，则220x y +=，（真）； 否命题：若220x y +≠，则x ，y 不全为零，（真）； 逆否命题：若x ，y 不全为零，则220x y +≠，（真）．归纳小结：(1)本题考查了命题的四种形式，并能进行真假判断，强化对知识运用的灵活性．(2)要注意四种命题之间的等价关系，即原命题与逆否命题等价，否命题与逆命题等价．在判断一个命题是真命题时，要严格按照数学逻辑进行推理证明，而要说明它是假命题时，只需要举出一个反例即可．(3)在否定条件或结论时，要注意否定词语的使用．常见否定词语有： 正面词语等于大于小于是都是 至多有一个 否定词语 不等于 不大于 不小于 不是不都是至少有两个例2 说明下列命题形式，指出构成它们的简单命题： ⑴矩形的对角线垂直平分；⑵不等式220x x -->的解集是{2x x >或}1x <-；⑶43≥； ⑷方程没有实数根．分析：根据命题中出现的逻辑联结词或隐含的逻辑联结词，进行命题结构的判断，其中解题的关键是正确理解逻辑联结词“且”、“或”、“非”的含义．解：⑴这个命题是“p q ∧”的形式，其中p ：矩形的对角线互相垂直，q ：矩形的对角线互相平分．⑵这个命题是“p q ∨”的形式，其中p ：不等式220x x -->的解集是{}2x x >，q ：不等式220x x -->的解集是或{}1x x <-．⑶这个命题是“p q ∨”的形式，其中p ：43>，q ：43=． ⑷这个命题是“￢p ”的形式，其中p ：方程有实数根．归纳小结：⑴本题考查了含有逻辑联结词的命题结构，要求能正确理解逻辑联结词，并找出隐含的正面词语 至少有一个 任意的 所有的 一定 否定词语一个也没有某个某些一定不逻辑联结词，能根据命题形式分析问题、解决问题．⑵把简单命题合成为复合命题或把复合命题分解为两个简单命题并判断其真假是本节的重点之一，关键在于理解逻辑联结词的含义．熟悉真值表可以加快对含有逻辑联结词的命题的真假判断．⑶逻辑联结词中的“或”、“且”、“非”与日常用语中的“或”、“且”、“非”的意义是不完全相同的．如逻辑词中的“或”含有可以兼有之意，而生活中的“或”一般不可兼有的意思．例3（广东）已知命题p ：所有有理数都是实数，命题q ：正数的对数都是负数，则下列命题中为真命题的是（ ）A ．()p q ⌝∨B ．p q ∧C ．()()p q ⌝∧⌝D ．()()p q ⌝∨⌝分析：本题只需要判断出命题p 和命题q 的真假，根据真值表进行判断即可． 解：由题意可以判断命题p 是真命题，命题q 是假命题，所以命题p ⌝是假命题，命题q ⌝是真命题．只有()()p q ⌝∨⌝是真命题，故选D ．归纳小结：（1）本题考查了命题的真假判断和真值表的使用，考查了逻辑判断的思辩能力和推理能力；（2）命题p q ∨的真假判断是“一真就真，全假为假”；命题p q ∧的真假判断是“一假就假，全真为真”；命题p 与p ⌝的真假相反.例4（北京）“2()6k k Z παπ=+∈”是“1cos 22α=”的（ ） A ．充分不必要条件 B ．必要不充分条件C ．充要条件D ．既不充分也不必要条件分析：简易逻辑中充要条件的判断前提是先明确条件与结论，即弄清楚哪个是条件，哪个是结论，再根据条件分析出推式的关系，从而利用定义和推式得到结论．解：当2()6k k Z παπ=+∈时，1cos 2cos 4cos 332k ππαπ⎛⎫=+== ⎪⎝⎭，w 即p q ⇒．反之，当1cos 22α=时，有()2236k k k Z ππαπαπ=+⇒=+∈， 或()2236k k k Z ππαπαπ=-⇒=-∈，即q ≠>p ．综上所述，“2()6k k Z παπ=+∈”是“1cos 22α=”的充分不必要条件，故选A ．例5（福建)设集合01x A x x ⎧⎫=<⎨⎬-⎩⎭,{}03B x x =<<,那么“m A ∈”是“m B ∈”的（ ）A ．充分不必要条件B ．必要不充分条件C ．充要条件D ．既不充分也不必要条件分析：本题条件与结论的形式都是集合形式，只要理清集合之间的关系，按照充要条件与集合的对应关系即可作出判断．解：∵{}01A x x =<<， ∴AB .故选A ．归纳小结：（1）本题考查了充要条件的定义，这是高考试题题型的常见形式之一，可与其他考查内容综合．同时还考查了数学转化思想、合情推理能力．（2）充分不必要条件、必要不充分条件、充分必要条件、既不充分也不必要条件反映了条件p 和结论q 之间的因果关系，在结合具体问题进行判断时，要注意以下几点：①确定问题的条件和结论；②尝试从条件推结论，结论推条件；③确定条件是结论的什么条件．也可以从命题体现的集合运算关系，判断出命题间的条件．在从条件推结论，结论推条件时，可以利用学过的定理、定义和公式直接做逻辑判断，或利用数轴或Venn 图分析两个集合的关系判断出“p q ⇒”和“q p ⇒”的真假．例6（湖北）已知p 是r 的充分条件而不是必要条件，q 是r 的充分条件，s 是r 的必要条件，q 是s 的必要条件．现有下列命题：①s 是q 的充要条件；②p 是q 的充分条件而不是必要条件；③r 是q 的必要条件而不是充分条件；④s p ⌝⌝是的必要条件而不是充分条件；⑤r 是s 的充分条件而不是必要条件，则正确命题序号是（ ）A.①④⑤B.①②④C.②③⑤D.②④⑤分析：本题命题及其关系较多，如果直接解决则比较麻烦，可以用符号“⇒”、“⇔”等符号表示，简化题意，解决方便．解：由题意可知：p r ⇒，且r ≠>p ，q r s q ⇒⇒⇒．所以s q ⇔，①正确；p r q ⇒⇔，且q ≠>p ，②正确；r q ⇔，③不正确；p r s ⇒⇔，且s ≠>p ，④正确；r s ⇔，⑤不正确．故选B ．归纳小结：（1）本题考查了充分条件、必要条件、充要条件的概念及命题之间关系的转化，逆否命题的等价性，考查了逻辑思辩能力和转化思想．（2）在命题之间的充分条件、必要条件、充要条件的推导过程中，使用符号语言可以简化过程，降低思维量．例7 已知命题p ：1123x --≤，命题q ：()222100x x m m -+-≤>，若￢p 是￢q 的充分不必要条件，求实数m 的取值范围．分析：￢p 是￢q 的充分不必要条件转化为等价命题形式：q 是p 的充分不必要条件，利用等价命题先进行命题的等价转化，搞清晰命题中条件与结论的关系，再去解不等式，找解集间的包含关系，从而求出m 的取值范围．解：记{}1122103x A x x x ⎧-⎫=-≤=-≤≤⎨⎬⎩⎭， (){}(){}222100110B x x x m m x m x m m =-+-≤>=-≤≤+>∵￢p 是￢q 的充分不必要条件， ∴q 是p 的充分不必要条件，即BA .∴012110m m m >⎧⎪->-⎨⎪+<⎩，解得03m <<. 所以实数m 的取值范围是03m <<．归纳小结：(1)本题以含绝对值的不等式及一元二次不等式的解法为考查对象，同时考查了充分必要条件及四种命题中等价命题的应用，考查了转化思想的运用，强调了知识点运用的灵活性．(2)对四种命题以及充要条件的定义实质理解不清晰是解此题的难点，在判断或利用两个命题的充要条件时，可以利用它们的等价式，即将命题转化为另一个等价形式的命题，一般可以利用逆否命题的等价形式：①若￢p ⇒￢q ，即q p ⇒，则p 是q 的必要条件，q 是p 的充分条件；②若￢p ⇒￢q ，且￢q ≠>￢p ，即q p ⇒，且p ≠>q ，则p 是q 的必要不充分条件；③若￢q ⇒￢p ，且￢p ≠>￢q ，即p q ⇒，且q ≠>p ，则p 是q 的充分不必要条件；④若￢p ⇔￢q ，则p q ⇔，即p 、q 互为充要条件；⑤若￢p ≠>￢q ，且￢q ≠>￢p ，即q ≠>p ，且p ≠>q ，则p 是q 的既不充分也不必要条件．例8（海南、宁夏）有四个关于三角函数的命题：1p ：x R ∃∈，221sin cos 222x x += 2p ：x ∃、y R ∈，()sin sin sin x y x y -=-3p ：[]0,x π∀∈,1cos 2sin 2x x -= 4p ：sin cos 2x y x y π=⇒+= 其中是假命题的有（ ）A ．1p ，4pB ．2p ，4pC ．1p ，3pD ．2p ，4p分析：若全称命题为真命题，必须对限定范围内的元素中的全体都成立；若特称命题是真命题，只需在限定范围中有一个元素满足条件即可．解：1p 是假命题，因为x R ∀∈，22sincos 122x x+=； 2p 是真命题，如0x y ==时成立；3p 是真命题， []0,x π∀∈，sin 0x ≥.∴21cos 2sin sin sin 2xx x x -===； 4p 是假命题，如2x π=，2y π=时，sin cos x y =，但2x y π+≠．故选A ．归纳小结：（1）本题考查了全称命题与特称命题的真假判断，同时也考查了对概念的转化能力和推理能力．（2）一般地说，全称命题与特称命题的真假判断方法是：①判定一个全称命题是真命题时，必须对限定的集合M 中的每一个元素x ，验证()p x 成立即可；②判定一个全称命题是假命题时，只要能列举出集合M 中的一个元素0x ，使()0p x 不成立即可；③判定一个特称命题是真命题时，只要在限定的集合M 中，至少能找到一个元素0x ，使()0p x 成立即可，否则，这个特称命题就是假命题．例9（宁夏）已知命题p ：1sin ,≤∈∀x R x ，则（ ） A.1sin ,:≥∈∃⌝x R x p B.1sin ,:≥∈∀⌝x R x p C.1sin ,:>∈∃⌝x R x p D.1sin ,:>∈∀⌝x R x p分析：对全称（特称）命题的否定是将其全称（存在）量词改为存在（全称）量词，再将结论否定．解：将∀变为∃，同时否定sin 1x ≤，可以得到1sin ,:>∈∃⌝x R x p ． 故选C ．归纳小结：(1)本题考查了含有一个量词的命题的否定及否定词的运用，对学生的逻辑判断能力进行考查．(2)一般地，对于含有一个量词的全称命题的否定，有下面的结论： 全称命题p ：(),x M p x ∀∈，它的否定￢p ：0x M ∃∈，￢()0p x ． 特称命题p ：()00,x M p x ∃∈，它的否定￢p ：x M ∀∈，￢()p x ． 要注意否定词的运用．例10 已知命题p ：210x mx ++=有两个不等的负根，命题q ：()2442x m x +-+10无实数根．若命题p 与命题q 有且只有一个为真，求实数m 的取值范围．分析：对命题p 和命题q 的条件进行化简可得m 的范围，再对p 、q 的真假进行讨论，得到参数成立的条件，利用交集求出m 的取值范围．解：∵方程210x mx ++=有两个不等的负根，∴2400m m ⎧->⎨-<⎩，解得2m >.∵方程()2442x m x +-+10=无实数根，∴()2162160m --<，解得13m <<.若命题p 为真，命题q 为假，则213m m m >⎧⎨≤≥⎩或，得3m ≥.若命题p 为假，命题q 为真，则213m m ≤⎧⎨<<⎩，得12m <≤.综上所述，实数m 的取值范围为12m <≤或3m ≥．归纳小结：(1)本题考查了方程求解的条件、命题真假的讨论、集合运算等知识，突出考查了分类讨论思想，和把命题真假转化为集合运算的能力．(2)根据问题条件求出命题所对应的集合范围，将命题的真假条件转化为集合的运算，即当命题为真时，则条件所对集合为原集合，当命题为假时，则条件所对应的集合为补集．两个命题的真假同时成立，则条件所对应的集合为两个集合的交集．在命题的真假性不能确定的前提下，应作分类讨论．四、本章总结本专题内容主要是常用逻辑用语，包括命题与量词，逻辑联结词以及充分条件、必要条件与命题的四种形式．1．要理解命题的四种形式，并会运用逻辑推理判断真命题，利用举反例判断假命题．原命题与其逆否命题为等价命题，逆命题与否命题为等价命题，当一个命题的真假不易判断时，可考虑判断其等价命题的真假．2．理解逻辑联结词的含义，能正确分析命题形式，指出构成它们的简单命题，并会依据真值表判断命题的真假．3．注意一个命题的否定与命题的否命题是不同的，原命题的否定只否定结论，原命题的否命题既否定条件，又否定结论．4．判断充要条件的三种方法是：定义法、等价法、利用集合间的包含关系作判断．练习题一、选择题 1．若命题“p q ∧”为假，且“p ⌝”为假，则（ ）A ．p 或q 为假B ．q 假C ．q 真D ．不能判断q 的真假2．在△ABC 中，“︒>30A ”是“21sin >A ”的（ ） A ．充分不必要条件B ．必要不充分条件C ．充要条件D ．既不充分也不必要条件 3．有下列四个命题：①“若0x y += , 则,x y 互为相反数”的逆命题； ②“全等三角形的面积相等”的否命题；③“若1q ≤ ,则220x x q ++=有实根”的逆否命题； ④“不等边三角形的三个内角相等”逆命题； 其中真命题为（ ） A ．①② B ．②③ C ．①③D ．③④4．设a R ∈，则1a >是11a< 的（ ）A ．充分但不必要条件B ．必要但不充分条件C ．充要条件D ．既不充分也不必要条件5．命题:p 若,a b R ∈，则1a b +>是1a b +>的充分而不必要条件；命题:q 函数12y x =--的定义域是(][),13,-∞-+∞ ，则（ ）A ．“p 或q ”为假B ．“p 且q ”为真C ．p 真q 假D ．p 假q 真6．若,a b R ∈,使1a b +>成立的一个充分不必要条件是( )A ．1a b +≥B ．1a ≥C ．0.5,0.5a b ≥≥且D ．1b <-7．有下列四个命题：①、命题“若1=xy ，则x ，y 互为倒数”的逆命题； ②、命题“面积相等的三角形全等”的否命题；③、命题“若1m ≤，则022=+-m x x 有实根”的逆否命题；④、命题“若A B B = ，则A B ⊆”的逆否命题。