专题02 常用逻辑用语（5大考点12种题型）（考点清单）-2023-2024学年高一数学上学期期中考点大串讲（苏教版2019必修第一册）

专题02 常用逻辑用语（考点清单） 一、充分条件、必要条件、充要条件 1、定义 如果命题“若，则”为真（记作），则是的充分条件；同时是的必要条件． 2、从逻辑推理关系上看 （1）若且，则是的充分不必要条件； （2）若且，则是的必要不充分条件； （3）若且，则是的的充要条件（也说和等价）； （4）若且，则不是的充分条件，也不是的必要条件． 对充分和必要条件的理解和判断，要搞清楚其定义的实质：，则是的充分条件，同时是的必要条件．所谓“充分”是指只要成立，就成立；所谓“必要”是指要使得成立，必须要成立（即如果不成立，则肯定不成立）． 二．全称量词与存在量词 （1）全称量词与全称量词命题．短语“所有的”、“任意一个”在逻辑中通常叫做全称量词，并用符号“”表示．含有全称量词的命题叫做全称量词命题．全称量词命题“对中的任意一个，有成立”可用符号简记为“”，读作“对任意属于，有成立”． （2）存在量词与存在量词命题．短语“存在一个”、“至少有一个”在逻辑中通常叫做存在量词，并用符号“”表示．含有存在量词的命题叫做存在量词命题．存在量词命题“存在中的一个，使成立”可用符号简记为“”，读作“存在中元素，使成立”（存在量词命题也叫存在性命题）． 三．含有一个量词的命题的否定 （1）全称量词命题的否定为，． （2）存在量词命题的否定为． 注：全称、存在量词命题的否定是高考常见考点之一． 【解题方法总结】 1、从集合与集合之间的关系上看 设． （1）若，则是的充分条件（），是的必要条件；若，则是的充分不必要条件，是的必要不充分条件，即且； 注：关于数集间的充分必要条件满足：“小大”． （2）若，则是的必要条件，是的充分条件； （3）若，则与互为充要条件． 2、常见的一些词语和它的否定词如下表 原词语 等于 大于 小于 是 都是 任意 （所有） 至多 有一个 至多 有一个 否定词语 不等于 小于等于 大于等于 不是 不都是 某个 至少有 两个 一个都 没有 （1）要判定一个全称量词命题是真命题，必须对限定集合中的每一个元素证明其成立，要判断全称量词命题为假命题，只要能举出集合中的一个，使得其不成立即可，这就是通常所说的举一个反例． （2）要判断一个存在量词命题为真命题，只要在限定集合中能找到一个使之成立即可，否则这个存在量词命题就是假命题． 01 命题、定理、定义 【考试题型1】命题与真假命题的判断 【解题方法】并不是所有的语句都是命题，只有能判断真假的陈述句才是命题．命题首先是“陈述句”，其他语句如疑问句、祈使句、感叹句等一般都不是命题；其次是“能判断真假”，不能判断真假的陈述句不是命题，如“x≥2”、“小高的个子很高”等都不能判断真假，故都不是命题．因此，判断一个语句是否为命题，关键有两点：①是否为陈述句；②能否判断真假． 【典例1】（2023·全国·高一专题练习）下列语句中，为真命题的是（    ） A．直角的补角是直角 B．同旁内角互补 C．过直线外一点作直线于点 D．两个锐角的和是钝角 【专训1-1】（2023·高一校考课时练习）下列命题中，是真命题的是（   ） A．是空集 B．是无限集 C．是有理数 D．方程的根是自然数 【专训1-2】（2023·全国·高一专题练习）下列命题是真命题的是（    ） A．若两个三角形的面积相等，则这两个三角形全等 B．若平行四边形的对角线相等，则这个四边形是矩形 C．存在一个实数，使得 D．所有可以被5整除的整数，末尾数字都是0 【考试题型2】命题的条件与结论 【解题方法】命题“若p，则q”形式是由条件p和结论q组成的，在写命题时为了使句子更通顺，可以适当地添加一些词语，但不能改变条件和结论． 【典例2】（2023·江苏·高一专题练习）将下列命题改写成“若p，则q”的形式． （1）6是12和18的公约数； （2）当a＞－1时，方程ax2＋2x－1＝0有两个不相等的实数根； （3）平行四边形的对角线互相平分． 【专训2-1】（2023·江苏·高一专题练习）把下列命题改写成“若p，则q”的形式，并判断命题的真假． (1)奇数不能被2整除； (2)当时，； (3)两个相似三角形是全等三角形． 【专训2-2】（2023·全国·高一专题练习）把下列命题改写成“若p，则q”的形式，并判断命题的真假． (1)偶数不能被2整除； (2)当时，； (3)两个相似三角形是全等三角形． 02 全称量词命题与存在量词命题 【考试题型1】全称量词与存在量词命题真假的判断 【解题方法】判断一个命题为真命题应给出证明，判断一个命题为假命题只需举出反例，具体而言： （1）要判定一个存在量词命题为真，只要在给定的集合内找到一个元素x，使p（x）成立即可，否则命题为假． （2）要判定一个全称量词命