一、教材编排的逻辑定位

1.1 在章节中的位置

“常用逻辑用语”是湘教版（2019）必修第一册§1.2的内容，位于“集合与逻辑”全章的第二节。在此之前，学生已完成§1.1“集合”全部四课时的学习，掌握了：

• 集合的含义与表示：元素与集合的关系（∈）、列举法、描述法、区间；
• 集合的关系与运算：子集、真子集、补集、交集、并集。

如果说§1.1为学生建立了一套描述数学对象的符号语言，那么§1.2则要建立一套表达数学推理的联结语言。两者共同构成了数学表达的基础框架：

这种从“名词”到“连词”的过渡，体现了教材对学生数学表达能力培养的递进设计。

1.2 全节的导语设计

本节开篇有一段重要导语：

“这里用了‘若’‘推出’‘就’‘所有’‘或’等词语。这些在数学乃至科学中常常用于引入概念、表述规律、推导定理法则或交流信息的词语，经过规范化使之意义更为清楚严谨后，叫作逻辑用语。逻辑用语是一种理性语言，是表达理性思维的载体。”

这段话完成了三个关键的教学铺垫：

第一，明确逻辑用语的来源。 它并非全新的、与学生无关的抽象概念，而是学生已经在使用却未加留意的日常表达工具。教材将“若……则……”“推出”“或”等从自然语言中提炼出来，使之规范化、精确化。

第二，揭示逻辑用语的性质。 教材将其定性为“理性语言”——这是一种区别于日常模糊表达的语言，具有精确、严谨、无歧义的特征。这一定性与全章开篇“赤兔马”问题中揭示的“自然语言模糊性”形成首尾呼应。

第三，说明学习目标。 学习逻辑用语的目的在于“准确、简洁地表达数学内容和数学思想”“严密地表达对各种问题的思考结果”。这种表述明确了本节不仅是知识学习，更是思维方式的训练。

1.3 与集合部分的贯穿联系

从教材的整体设计来看，§1.2与§1.1之间存在着紧密的对应关系。教材在§1.1中已经隐含地使用了许多逻辑用语：

§1.2的教学正是将学生在§1.1中已经接触过的逻辑关系进行系统化、符号化、精确化。这种编排体现了“先有体验，后有概念”的建构主义教学设计——学生在不知不觉中已经使用了逻辑用语，现在则需要将其提升到自觉意识层面。

二、命题：逻辑的基本单元

2.1 命题定义的精确化

教材在“思考”环节回顾了初中的命题知识，然后给出了更精确的定义：

“叙述一件事情的句子（陈述句）要么是真的，要么是假的，但两者必居其一且仅居其一，这种陈述叫命题。”

这一定义包含三个关键要素：

第一，必须是陈述句。 疑问句、感叹句、祈使句都不是命题，因为它们不“叙述一件事情”。这一定义在后续例1中得到了实际运用——需要学生判断语句是否为命题。

第二，必须具有确定的真值。 “要么是真的，要么是假的”——每个命题都必须能在理论上判断其真假。但“暂时不知道真假”的陈述仍然是命题（如哥德巴赫猜想），只要它在逻辑上具有确定的真值。这一界定体现了数学对“可知”与“确定”的区分。

第三，真值的唯一性。 “两者必居其一且仅居其一”——同一命题不可能既真又假，也不可能既不真又不假。这是排中律在命题概念中的体现。

教材给出的五个命题示例覆盖了多种类型：

其中第(5)题选择的假命题尤为精妙——它暗含了“推出”关系中的常见陷阱：由结论推条件。成立时，可以是3或，因此不能必然推出。这一例子已为后续“推出关系”和“充分条件”的学习埋下伏笔。

2.2 例1的辨析功能

例1设计了两道小题，要求学生判断语句是否为命题，若是则判断真假：

(1) ； (2) 若是任意实数且，则。

第(1)题的关键在于：不是命题，因为“”没有被赋予具体值，无法判断真假。教材在此隐含了一个重要概念——命题中不能含有自由变量。这一辨析为后续学习“量词”（全称量词、存在量词）埋下了伏笔。

第(2)题是假命题，教材给出的反例是，此时，但。这一反例的选取有明确的教学功能：它强化了“不等式两边乘负数要变号”的代数原则，同时让学生看到“假命题只需一个反例即可否定”的数学论证方法。

2.3 猜想与命题的关系

教材还介绍了“猜想”的概念：

“虽然凡是可以判断真假的陈述句一定是命题，但数学中存在一些暂时不知道真假的命题，我们称其为猜想，例如著名的哥德巴赫猜想等。”

这一内容的引入有多重教学价值：

第一，扩展命题概念的边界。 命题不要求“已经被证明”，只要求“在理论上具有真假”。“暂时不知道真假”并不影响其作为命题的身份。

第二，渗透数学文化。 哥德巴赫猜想是数学史上著名的未解问题，通过这一例子，学生可以感受到数学并非“已经完成的真理”，而是一个仍在发展的学科。

第三，激发探究意识。 “一个好的猜想将推动数学的发展”——这句话传递了数学研究的动态性与魅力。

三、命题的否定：逻辑“非”的引入

3.1 否定的定义与性质

教材在命题概念之后立即引入命题的否定：

“如果是一个命题，则‘不成立’也是一个命题，叫作的否定，记作，读作‘非’。显然，也是的否定。在和两者之中，一定有一个为真一个为假。”

这一定义有三层递进的意义：

第一，否定的可操作性。 “不成立”这一描述看似简单，但如何准确写出一个命题的否定，涉及对命题结构和逻辑重点的把握。例2的三个小题正是针对这一问题展开训练的。

第二，否定的互逆性。是的否定——这意味着否定运算具有对称性，重复否定即回到自身（）。

第三，排中律的体现。和必有一真一假，不存在第三种情况。这一性质与命题定义中的“两者必居其一且仅居其一”是完全一致的。

3.2 例2的否定训练

例2要求写出三个命题的否定：

(1) ：4是方程的根； (2) ：相似三角形的面积一定相等； (3) ：16是4的倍数。

三个小题呈现了三种不同的否定情况：

第(2)题尤其值得深入分析。写作“相似三角形的面积不一定相等”，而非“相似三角形的面积一定不相等”。这里的区别是逻辑否定中的关键：

• “一定相等”的否定是“不（一定相等）”=“不一定相等”（可能存在相等的情况，但不是必然）
• 若写作“一定不相等”，则否定的力度过强，并非原命题的精确否定

这一辨析涉及量词否定的核心原则：全称命题的否定是特称命题。虽然教材在此尚未正式引入量词概念，但通过具体例子的对比训练，学生在操作层面已经初步建立了这一认识。

3.3 否定与假命题的区别

教材虽然没有直接论述，但从例2与例1的对比中，学生可以自然区分两种不同的“非”：

• 命题的否定（¬p）：与p的真假完全相反——若p为真，则¬p为假；若p为假，则¬p为真。
• 假命题的反例：假命题是p本身为假（如例1(2)），而非对某个真命题的否定。

这一区别在后续学习“反证法”时将成为关键思维工具。

四、推出关系与逆命题

4.1 命题的“若p则q”结构

教材将命题的“条件和结论”结构作为核心内容加以展开：

“命题通常由条件和结论组成……上述命题都具有‘若，则’的形式，其中叫作命题的条件，叫作命题的结论。”

教材给出的六个示例具有丰富的教学内涵：

(1) 若两个三角形全等，则它们相似；

(2) 若两个三角形相似，则它们全等；

(3) 若实数，则；

(4) 若四边形ABCD为菱形，则；

(5) 若，则方程没有正的实根；

(6) 若，则。

这六个示例的编排有着精心的层次设计：

其中(1)(2)形成了鲜明的对比对——两者互为逆命题，但真假相反。这直观地说明了一个重要原则：命题与逆命题的真假没有必然联系。这一结论将为后续学习“充分条件与必要条件”提供基础。

4.2 推出符号的引入

教材正式引入了推出符号“⇒”：

“当命题‘若，则’为真，则记作，读作‘推出’。 当命题‘若，则’为假，则记作，读作‘推不出’。”

“⇒”的引入具有重要的符号化意义：

第一，与集合中“⊆”的逻辑对应。 在§1.1子集的定义中，教材已经指出：“若由能推出，就说。”现在，“推出”关系本身被符号化为“⇒”，形成完整的对应链条：

•  ⇔ 

第二，为后续逻辑概念奠基。是“p是q的充分条件”“q是p的必要条件”这些概念的基础。本节虽然尚未明确引入“充分条件”“必要条件”的术语，但“推出”关系的确立为下一节课的内容（1.2.2 充分条件与必要条件）提供了直接铺垫。

第三，推理的可视化工具。 “⇒”将复杂的推理过程简化为两个命题之间的箭头关系，使逻辑推理的结构变得清晰可见。

4.3 逆命题的引入

教材在推出关系之后引入了逆命题的概念：

“上述命题(1)和(2)，条件和结论互换了位置，这时称为一个是另一个的逆命题。”

逆命题的引入有两重教学意图：

第一，强调条件与结论的方向性。与是两个不同的命题，其真假可能完全不同。这一认识是后续学习“充要条件”的关键前置知识。

第二，引出逻辑中的常见误区。 初学者往往不自觉地将“”与“”混为一谈，或将“”理解为“p和q等价”。逆命题的引入正是为了破除这一常见混淆。

五、练习题的设计意图

5.1 练习1（命题真假判断）

判断下列命题的真假，并说明理由：(1) 若是任意实数，则；(2) 若是实数且，则；(3) 若，则有两个不相等的实数根；(4) 若有两个不相等的实数根，则实数。

这四道小题体现了清晰的认知梯度：

第(1)题是典型的“绝对值为正”的常见谬误——学生容易忽略0的特殊情况。反例直接击破了命题。

第(3)(4)题形成了对比对：两者互为逆命题，但前者真而后者假。这一设计与教材例中(1)(2)的对比形成了呼应，进一步强化了“命题与逆命题真假无关”的认识。

5.2 练习2（命题的否定）

写出下列命题的否定，并判断其真假：(1) ：5不是75的约数；(2) ：是不等式的解；(3) ：方程有实数根；(4) ：空集是集合A的子集。

四道小题覆盖了不同类型的否定：

第(1)题中，5确实是75的约数（75=5×15），故原命题为假，否定为真。第(2)题中，的解为，包含了但不满足不等式，故原命题为假。第(3)题中，，无实数根，故原命题为假。第(4)题中，空集是任何集合的子集，故原命题为真，否定为假。

四道题共同强化了一个关键认识：命题与否定真假相反，且这种相反关系具有普遍性。

5.3 练习3（逆命题）

写出命题“四边形ABCD中，若，则四边形ABCD为菱形”的逆命题。

逆命题为：四边形ABCD中，若四边形ABCD为菱形，则。

此处需要注意：原命题实为假命题（对角线垂直并不能推出菱形，反例：筝形或任意对角线垂直的四边形），但题目只要求写出逆命题，不要求判断真假。这一处理是有意避免分散训练重点——本练习聚焦于“逆命题”的结构变换能力，而非真假判断。

六、教学重难点与实施建议

6.1 教学重点

• 命题的定义及其真假判断
• 命题的否定及其符号表示
• “若p则q”型命题的条件与结论结构
• 推出关系（⇒）及其与集合包含关系的对应
• 逆命题的构造

6.2 教学难点

• “判断真假”与“证明真假”的区分——命题在理论上有确定的真假，但学生需要学会用反例证明假命题、用逻辑推理证明真命题
• 命题否定的精确书写——特别是涉及“所有”“一定”“存在”等隐含量词时的否定
• “推出”关系的理解——条件与结论之间是否存在必然的逻辑关系

6.3 五个须强化的概念辨析

第一，命题与开语句的区别。 含有变量的开语句（如“”）在变量未赋值时不是命题。只有当变量被量词限定或赋特定值后，才成为可以判断真假的命题。这一辨析与后续“全称量词”“存在量词”的学习直接相关。

第二，“假命题”与“非命题”的区别。 “假命题”是命题的一种——它是一个判断为假的陈述句。而“非命题”则根本不是命题（如疑问句、祈使句）。两者不可混淆。

第三，命题否定的“整体性”原则。 否定命题时，否定的是整个命题的真值，而非仅否定其中的某个词语。教材例2(2)中“相似三角形的面积一定相等”的否定是“不一定相等”而非“一定不相等”——这正是“整体否定”原则的体现。

第四，“⇒”与日常语言中“推出”的区别。 “推出”关系是形式化的逻辑关系：只要p成立时q必成立，即为真。这与日常语言中的“因果关系”（p导致q）有本质区别——在数学中，不要求p是q的“原因”，只要求两者的真值之间存在必然联系。

第五，逆命题与原命题的真假关系。 原命题与逆命题之间不存在必然的真假关联。教学中需要通过多个实例（如练习1中的(3)(4)）反复强化这一认识，破除学生可能存在的“互逆同真假”的直觉误解。

6.4 与核心素养的关联

本节重点培育的核心素养包括：

• 数学抽象：从具体实例中抽象出命题、否定、推出关系等一般概念
• 逻辑推理：运用反例证明假命题，运用演绎推理判断真命题
• 数学语言：使用“¬p”“⇒”“若……则……”等符号和句式进行精确的逻辑表达

七、与§1.1集合内容的贯穿联系

本节与§1.1形成了完整的“集合—逻辑”知识闭环：

从教材整体设计来看，§1.1在§1.2之前先行安排，目的是让学生在操作层面先熟悉集合的语言和符号，然后在§1.2中将这些操作背后的逻辑原则进行系统化提炼。这是一种“先实践后理论”的教学顺序——学生在不知不觉中已经应用了逻辑规则，现在则要自觉地掌握这些规则。

“常用逻辑用语”一节，完成了从“描述对象的语言”（集合）到“表达推理的语言”（逻辑）的系统过渡。

本节的知识体系形成了一个完整的逻辑入门结构：

• 命题确立了逻辑表达的基本单元；
• 命题的否定（¬） 建立了真假翻转的基本操作；
• 推出关系（⇒） 建立了命题之间的逻辑联系；
• 逆命题揭示了条件和结论之间的方向性。

从更深层次的教学目标来看，本节是高中数学中“形式化推理”的启蒙课。学生在初中阶段已经积累了大量的数学事实（定理、性质、判定），但往往停留在直觉层面——知道“是什么”，但不清楚“如何从已知推出未知”。逻辑用语的教学，正是要帮助学生建立这种推理意识。

本节末尾虽然没有出现“充分条件”“必要条件”等术语，但通过“推出”关系的确立和“逆命题”的引入，已经为下一节课（1.2.2 充分条件与必要条件）做好了完整的概念铺垫。学生在理解和的区别之后，自然可以理解“p是q的充分条件”与“p是q的必要条件”之间的对称关系。