简易逻辑教学困惑对高师数理逻辑教学的启示

摘要

高中数学简易逻辑教学中出现的一些“困惑”,对高师院校“数理逻辑”教学的启示有:内容选择上不可忽视基本概念、基本知识;思想方法上要重视形式化、符号化意识的培养;应用方面要加强与高中数学的联系,加强谓词逻辑教学.