2023-2024学年上海高一数学上学期压轴题练习专题2 常用逻辑用语培优题型含详解.docxVIP

专题02常用逻辑用语培优题型

数学语言和自然语言的重要区别在于数学语言更加精确，不容易产生歧义；数学作为其他学科的基础和工具，其内涵及语言都是按照逻辑的方式来组织的；根据正确的前提，按照逻辑的推理，总是能够得到正确的结论；

在数学语言及其组织方式方面，有一些公认的特殊约定，努力学习并遵循这些约定，能够更好地在数学领域里和他人开展交流，对进一步的学习和研究都非常有益；

常用逻辑用语是数学语言的重要组成部分，是数学表达和交流的工具；在“集合与逻辑”的学习中，同学们将学习集合的概念、基本关系和运算，学习用集合语言刻画一类事物的方法；并学习用逻辑用语表达数学对象、进行数学推理，为高中数学学习做准备；

《必修第一册》目录，第1章集合与逻辑：1.2常用逻辑用语

1.2.1命题；1.2.2充分条件和必要条件；1.2.3反证法

1、命题的概念：

把用语言、符号或式子表达，且可以判断其真假的语句叫做命题;

【注意】在数学中，我们将可以判断真假的陈述句叫作命题；特别提醒：（1）判断一个语句是否为命题的两个要素：（2）是陈述句，表达形式可以是符号、表达式或语言；

2、命题的分类：

其含义判断为真的命题叫做真命题：判断为假的命题叫做假命题；

【注意】真命题可以给出证明，假命题只需举出一个反例即可；

命题真假

“若p则q”为真

“若p则q”为假

表示方法

p?q

pq

读法

p推出q

p不能推出q

3、命题的表示方法：

命题通常写成“若α，则β”的形式；其中陈述句α称为命题的条件，β称为命题的结论；

用集合的语言描述：满足α满足β；

【注意】命题的表示形式，在其他参考书上也有表示为：“若p，则q”，其中p叫做命题的条件，q叫做命题的结论；

4、子集与推出关系：

如果命题“若α，则β”是真命题，那么我们就称αβ，记作αβ（或βα）。

5、充分条件、必要条件的概念

对于两个陈述句α是β，如果α?β，则称α是β的充分条件（sufficientcondition），或称β是α的必要条件（necessarycondition）；

【注意】（1）充分条件与必要条件的理解

命题真假

“若α则β”是真命题

“若α则β”是假命题

推出关系

α?β

αeq\o(?,\s\up0(/))β

条件关系

α是β的充分条件

β是α的必要条件

α不是β的充分条件

β不是α的必要条件

（2）p?q的含义：

①“若p，则q”形式的命题为真命题；②由条件p可以得到结论q；③p是q的充分条件或q的充分条件是p；q是p的必要条件或p的必要条件是q；④只要有条件p，就一定有结论q，即p对于q是充分的，

q对于p的成立是必要的；⑤为得到结论q，具备条件p就可以推出；显然，p是q的充分条件与q是p的必要条件表述的是同一个逻辑关系，即p?q，只是说法不同而已；

6、充要条件的概念

对于两个陈述句α是β，如果既有α?β，又有β?α，我们就称

α是β的充分必要条件，简称充要条件；记作：α?β；

读作“α与β等价”或“α成立当且仅当β成立”；

【注意】1、对充要条件的理解：（1）推出关系：α?β，且β?α，记作α?β；（2）简称：α是β的充分必要条件，简称充要条件；（3）意义：α?β，则α是β的充要条件或β是α的充要条件，即α与β互为充要条件；

7、定义法判断充分条件、必要条件

（1）确定谁是条件，谁是结论；

（2）尝试从条件推结论，若条件能推出结论，则条件为充分条件，否则就不是充分条件；

（3）尝试从结论推条件，若结论能推出条件，则条件为必要条件，否则就不是必要条件。

8、充要条件的证明策略

（1）要证明一个条件α是否是β的充要条件，需要从充分性和必要性两个方向进行，即证明两个命题“若α，则β”为真且“若β，则α”为真；

（2）在证明的过程中也可以转化为集合的思想来证明，证明α与β的解集是相同的，证明前必须分清楚充分性和必要性，即搞清楚由哪些条件推证到哪些结论；

9、充分条件、必要条件、充要条件与集合的交汇

（1）记集合A＝{x|p(x)}，B＝{x|q(x)}，若p是q的充分不必要条件，则AB，

若p是q的必要不充分条件，则BA；

（2）记集合M＝{x|p(x)}，N＝{x|q(x)}，

若M?N，则p是q的充分条件，若N?M，则p是q的必要条件，若M＝N，则p是q的充要条件；

10、反证法的定义

反证法是指“证明某个命题时，首先假设结论β不成立（β为假），然后经过正确的逻辑推理得出已知条件或（已学）定理相矛盾的结论，从而说明“β为假”是不可能发生的，即结论β是正确的；这样的证明方法叫反证法；

【注意】反证法证明数学问题的理解：（1）反证法的理论依据是逻辑规律中的排除律：一个事物或者是A或是，二者必居其一，反证法即证明结论的反面错误；从