随着社会的不断发展,人工智能、“互联网+”等领域成为世界研究的热点,而这些领域的理论基础就是数理逻辑。自从数理逻辑的基础知识被引入中学数学教材后,中学逻辑内容的选择也在不断地发生变化。《普通高中数学课程标准(2017年版)》(简称《课程标准(2017年版)》)中对常用逻辑用语的课程定位也有所改变。在实际教学中,由于内容比较抽象和教师的不够重视,常用逻辑用语成为高中数学学习的难点之一。《课程标准(2017年版)》中提出了数学学科六大核心素养,在核心素养视野下如何进行并改善常用逻辑用语的教学是一个亟需解决的问题。本研究以高中数学常用逻辑用语作为研究对象,结合调查结果和教学实践,探究如何改善常用逻辑用语的教学现状,分析并探究在《课程标准(2017年版)》指导下如何使核心素养在教学中落地。首先,通过查阅与“高中常用逻辑用语教学”的相关文献,阐述了本课题的研究背景、研究意义以及研究思路。分析常用逻辑用语、数理逻辑以及逻辑推理素养三者之间的关系,发现常用逻辑用语在培养学生的理性思维和提高学生的逻辑推理素养方面扮演着重要的角色,体现了研究本课题的必要性和重要性。其次,通过对各版本教学大纲和课程标准中的逻辑知识进行分析,了解我国逻辑知识的变化情况和教学定位。分析人教版(A、B版)、北师大版、沪教版以及湘教版教材内容编排的差异。再次,通过问卷调查法和访谈法,发现学生学习常用逻辑用语存在的问题和了解常用逻辑用语的教学现状。对调查结果进行分析,发现存在的问题主要有以下几个方面:(1)对命题的定义理解不到位;(2)写命题的否定时不全面,数学语言转化不灵活;(3)数学符号认知存在困难;(4)对充分条件、必要条件的概念模糊不清;(5)逻辑知识应用意识弱。最后,针对存在的问题,提出以下相关的教学建议:(1)教师对逻辑知识有整体把握,要有教学逻辑;(2)注重揭示知识的发生、形成过程;(3)创设使用数学语言的情境和机会;(4)注重充分条件与必要条件在推理论证中的应用;(5)渗透数学思想方法和数学逻辑思维规律。