高三一轮复习：常用逻辑用语.docVIP

常用逻辑用语 一、【知识梳理】 （一）四种命题及其关系： 1、一般地，用p和q分别表示原命题的条件和结论，用和分别表示p和q的否定，于是四种命题的形式就是：原命题：若p，则q；逆命题： ； 否命题： ； 逆否命题： 。 2、一个命题的真假与其他三个命题的真假有如下关系： （1）原命题为真，它的逆命题不一定为真； （2）原命题为真，它的否命题不一定为真； （3）原命题为真，它的逆否命题一定为真； （4）逆命题为真，它的否命题一定为真。 （二）充分条件和必要条件： 1、“若p则q”是真命题，即；“若p则q”为假命题，即。 2、 （1）若，但，则p叫q的 ； （2）若，但，则p叫q的 ； （3）若，且，则p叫q的 ； （4）若，且，则p叫q的 ； 3、证明p是q的充要条件分两步：（1）充分性，把p当作已知条件，结合命题的前提条件，推理论证得出q； （2）必要性：把q当作已知条件，结合命题的前提条件，推理论证得出p； （三）逻辑联结词： 1、或、且、非这些词叫做逻辑联结词。 或：两个命题中至少一个成立； 且：两个命题都成立； 非：对一个命题的否定； 2、了解真值表： （四）含有一个量词的命题： 1、短语“对所有的”“对任意一个”在逻辑中通常叫做全称量词，用符号“”表示，含有全称量词的命题，叫做全称命题。 2、将含有变量x的语句用p(x)、q(x)、r(x)……表示，变量x的范围用M表示，那么全称命题“对M中任意一个x，有p(x)成立”可用符号简记为 。 3、短语“存在一个”“至少有一个”在逻辑中通常叫做存在量词，用符号“”表示，含有存在量词的命题，叫做存在性命题。 4、存在性命题“存在M中的一个x，使p(x)成立”可用符号简记为 。 5、全称命题，p(x)，它的否定： ，全称命题的否定是存在性命题。 6、存在性命题，p(x)，它的否定： ，存在性命题的否定是全称命题。 二、【思维突破】 1、判断命题充要关系有三种方法： （1）定义法：直接判断若p则q，若q则p的真假； （2）等价法：即利用与，与的等价关系。对于条件或结论是否定式的命题，一般运用等价法。 （3）利用集合间的包含关系判断： 2、确定条件为不充分或不必要条件时，常用举反例的方法来说明。 3、在判断充要性时，正面判断较难，可考虑“正难则反”的原则，转化为应用该命题的逆否命题进行判断。 4、集合中的“交、并、补”与逻辑联结词“且、或、非”密切相关。 （1），集合的交集是用“且”来定义的。 （2），集合的并集是用“或”来定义的。 （3），集合的补集与“非”密切相关。 （4）“p或q为真”的含义有三种情形：只有p成立；只有q成立；p、q同时成立。 这三种情形依次对应于集合中的；；。 （5）“或”“且”联结词的否定形式：“p或q”的否定形式是“非p且非q”，“p且q” 的否定形式是“非p或非q”，它类似于集合中的 。 5、要判定全称命题是真命题，需对集合M中的每个元素x证明p(x)成立；如果在集合M中找到一个元 素，使得不成立，那么这个全称命题就是假命题。 6、要判定一个存在性命题是真命题，只要在限定集合M中，至少能找到一个元素，使成立 即可；否则，这一存在性命题就是假命题。 三、【典型例题】 例题1、（1）设原命题是“已知a、b、c、d是实数，若a=b，c=d，则a+c=b+d”，则它的逆否命题是 。 （2）原命题“若，则a=b”的否定形式是 ； 而其否命题为 。 点评：要严格区别命题的否定与否命题的差别，同时一个命题和它的逆否命题同真假，而与它的其他两个命题的真假无此规律，切记。 例题2、判断下列命题的真假： （1）； （2）； (3) （4）； （5）； （6）； （7）； （8）命题“若ab=