<正>一、问题背景数学逻辑推理是国内外数学教育界持久的研究热点,中国已经取得不少相关研究成果,但其内涵的界定没有得到统一.数学上的逻辑指的是思维的规律和规则,是对思维过程的抽象.逻辑推理属于思维的基本形式之一,从一些事实和命题出发,对数学对象进行逻辑性思考,进而推出一个命题的思维过程.逻辑对象是表示数量关系和空间形式的数学符号;数学推理的依据主要来自问题所在的数学系统;逻辑性思考方法有观察、实验、联想、猜测、直观、归纳、类