存在量词引入与消去规则教学策略探析

在线阅读 下载PDF 导出详情
摘要 一阶谓词逻辑推理是数理逻辑教学的重要内容之一。在一阶谓词逻辑推理教学中,保证量词引入规则、量词消去规则的内容与形式的统一性对学生正确接受和理解推理过程具有重要作用。文章从离散数学教学实践出发,介绍一阶谓词逻辑推理中的存在量词引入规则与量词消去规则的教学策略。
作者 姜誉
机构地区 不详
出版日期 2015年12月22日(中国期刊网平台首次上网日期,不代表论文的发表时间)
  • 相关文献